added ply and pyreadline to the miner