I've added a PDDL lexer (requested in #2616).

Any feedback is appreciated.

Hmm... One of the tests failed (after 6 hrs), everything else passed.
I doubt it has anything to do with my changes. I don't see a way to re-run the tests.

What should I do now?

Update: All tests passed now.