update Makefile and CI

Merged Ralf Jung requested to merge ralf/ci into master

Merge request reports