The official Github for EduCoin, the digital coin for education