A Vagrant VM for Android development environment