development; issue #374: Refactor 'make hack' making Vagrantfile and VM more useful
development; issue #374: Upgrade development VM box to Ubuntu-13.04 with kernel 3.8