Add script to run Vagrant and output public DNS

This doesn't work perfectly. It really needs to filter the list of
images to the running images: currently the list also returns
terminated instances.
Add the doony theme for Jenkins