Reddcoin changes

* github repos
* ports
* “Bitcoin” —> “Reddcoin”