added provers package, added prover abstract class