Main development tree of HashCoin, the SHA3 coin