Official ECCoin repo after dev takeover