Added Minisat heuristic.
Removed useless stuff in FirstUndefinedHeuristic.
Added MinisatHeuristic files.