Improve README for visitors who arrive at our GitHub mirror
These changes are for developers who go looking for Redox on GitHub. github.com/redox-os/redox
looks like it is mostly inactive, as the build system is quite stable. The changes are intended to route developers to the most suitable site as directly as possible.
Sorry for making this MR a branch on the main repo, it was unintentional.