Switch from Ubuntu 12.04 (precise) to 14.04 (trusty)

Also added NodeJS development VM.
And lots of changes required for new versions of VirtualBox and Vagrant.