A simple docker/boot2docker helper script