Build Infrastructure

The Tanglu Build Service at buildd.tanglu.org now works reasonably well. Although Jenkins has some issues, we can deal with it for now. There is currently communication with Debian going on about creating a completely new build system, which we can use at Tanglu (and which will most likely power Debian's version of PPAs). Unfortunately, we lost two amd64 builder on Tanglu, due to hardware failures. So if you can contribute an amd64 builder, we would be very happy :-) For now, the i386 has an advantage over amd64, causing amd64 stuff to build slower (we also build arch:all packages on amd64 machines)

Tanglu is now auto-synced with Debian Testing, which causes new packages to appear in Tanglu automatically. The sync-tools are still not perfect and need some work, but doing that will be trivial.