RE: Jenkins builds

[Durchholz, Joachim]

> Will need to test the performance of such remote setup though.

It would be an interesting data point in itself whether such a setup would be 
fast or slow.