add support for external heuristic.
if --heuristic=o is used ./oracle is called
to perform the goal ranking.
See data/oracle for an example.