Merge branch 'issue50_mpi-integration' into 'development'

Issue50 mpi integration

See merge request !44
5 jobs for development in 56 minutes and 56 seconds (queued for 5 seconds)
latest
Status Name Job ID Coverage
  Build
passed prepare #1822261
docker

00:43:50

 
  Test
passed lint #1822265
docker

00:02:14

passed test-prerequisites #1822262
docker

00:03:46

passed unittest-gurobi #1822263
docker

00:06:21

passed unittest-scip #1822264
docker

00:13:04