Alternative development environment for cyberdojo using vagrant