A vagrant box for Pygame development