Add STP (https://sites.google.com/site/stpfastprover/STP-Fast-Prover).