A Dockerfile for building VirtualBox on Ubuntu 14.04