Adding Prover9 to repository

- LADR folder contains all Prover9 files.
- Updated KnowledgeBase.java: Sets Prover9 and QFolder path relative to
executable directory.