A very simple heuristic which improves performance significantly
The intepreter now produces dnf's
A basic heuristic function
Bugfixing and proper pddl strings