Add vagrant-halt, vagrant-ssh and vagrant-provision

They're in the stock .bashrc and work like vagrant-up (takes the arg that's the
  proper folder name [it should be in /mnt/unencrypted]).