implement dot file dumper
implement fresh successor heuristics
Merge pull request #5 from ryysd/fsh

Fsh