make-release-build: use git tools for more flexible cleaning
move jenkins build script to git