Factored PDDL.satisfyingBindings out from PDDL.possibleActions.

Added time measurement to main.