Genode bug tracker moved to GitHub

The Genode project opens up its development process and, therefore, goes to GitHub for its code repository and issue tracker. We already migrated all issues to https://github.com/genodelabs/genode/issues and are working on the code migration. Nevertheless, we plan to maintain the Sourceforge Subversion repository and file releases in the future.