Let's switch to a jenkins build server

(you can expect some test commits in the following hours)