Adding qepcad-b, saclib, simplify.
Adding Prover9 desktop files
Adding prover9-doc