A virtual box vagrant file for docker development