Use vagrant for linux official builds.
Change to vagrant for virtual machine builds instead of docker.
Break out build instructions into separate file.