Merge branch 'MontiCore5' into 'master'

Update to Monticore 5

See merge request !3
2 jobs for master in 1 minute and 2 seconds (queued for 1 second)