Jenkins Continuous Integration server for Python projects, using Vagrant