#11: adding .vagrant to gitignore