Use mkbuild rather than subrepositories

[bassosimone]

This helps to decommission some repositories that we still have around in the Github organisation and that are now uniquely used here.

[bassosimone]

Depends on #92