New website

We are proud to present a completely revamped website!

The website has been completely redesigned. If you notice anything awry or if you have any comments, please tell us.

We have also set up a slew of other services you should check out: * a git server: * a bug tracker: * continuous integration: * a mailing list service: