Preliminary fixes for CI

Merged Ike Mulder requested to merge ci-setup into master

Among others, fixes the makefile for building without external projects.

Merge request reports