Move repository to codeberg.org

I agree with @moritzdietz and @cdhowie: While codeberg is an interesting project (and I like that it’s hosted in Germany), we’ll stay at GitHub, at least for now.

The network effect of GitHub as a platform (enabling drive-by PRs and fixes) is very strong, and I’m looking into moving our CI tests to GitHub actions as soon as they become available. Having fewer moving infrastructure parts is better.

Thanks for the suggestion though!