A simple timecoin miner