a generic continuous integration tool