functionality for miner.mine

This SHOULD be able to test maps with poorman and sorted heaps. cannot
use verbose output yet