Merge branch 'verify-vagrant-public-ssh-key' into 'master'

Verify vagrant public SSH key

See merge request !153
5 jobs for master in 3 minutes and 28 seconds (queued for 1 second)