Added reset.

This enables the same Miner to be reused for more than one query.