[Dune] dune-autobuild

[Christian Engwer]

Dear all,

the autobuild server was not working for a while, due to problems with
the infrastructure in stuttgart. The autobuild server is still running
in heidelberg, while the repositories are in stuttgart.

I adjusted the system to get everything running again. We have
uptodate results from last night and from now on the head and the
release1.0 builds should again be triggert by commits.

These were the good news. The bad news are that we have several
errors messages.

Christian