Git-driven Database CI with Jenkins and DBmaestro