KUL public build server for publishing is back online

It's now located at:

https://build.mech.kuleuven.be/jenkins

All previous users and jobs are lost, so if you want to publish you will have to create a new log in.

-- Ruben