Merge branch 'make_install_more_flexible' into 'master'

Make install more flexible

See merge request !418
2 jobs for master in 20 minutes and 5 seconds (queued for 8 seconds)
Status Job ID Name Coverage
  Build
passed #223285
docker-build
build_linux_36

00:18:04

69.0%
 
  Deploy
passed #223286
docker
deploy_beta

00:02:01