Merge branch 'dev' of ssh://gitlab.openmole.org:10000/openmole/openmole into dev

2 jobs for dev in 32 minutes and 36 seconds (queued for 7 seconds)