add a 'make' command to the dune main module. Usage

Andreas Dednerrequested to merge
feature/pymainAddMake into master

python -m dune make -j4 modulebase or python -m dune make -j12 all

Merge request reports