jenkins jobs

[Daan Hoogland]

LS,

For anybody looking for a pastime; Our jenkins jobs are far from clean at
the moment. I spent far to much time on them the past few weeks and am far
from done. Please feel free to chip in.

thanks
Daan