When we're not using vagrant, we may want to change the default. In the mean time, the /vagrant directory is mounted automatically, so it seems like a good default.