vagrant: renaming Vagrant machine name to 'gislab_vagrant'
config: changing path to public SSH key to absolute