Don't get dssh anymore (didn't work). Add docker to vagrant group (to avoid sudoing all the time)
Minor changes to the config. Automatically map a bunch of ports.