A python Continuous Integration server