some small cleanups
add very simple jenkins job generation
merge upstream/master