Docker-friendly Ubuntu 14.04.1 LTS 64-bit box supporting VirtualBox provider