Misc. updates and new Bash functions for Vagrant