a basic peniscoin miner in python