The web is back up

After some time, the is back up. As the old redmine stuff was not updated, buggy, and not secure, it was down for a long time. I’ve built a new, simple site, mostly for publishing news and hosting releases. All the bug tracking integrated in the old site will now happen on github.