cleanup branch

Thomas Laurentrequested to merge
cleanup-may-2020 into develop

Quite a lot of small issues and one new feature: support ninja to replace make

Merge request reports