Testing github jenkins integration

OK, good to merge, sorry for the number of attempts.