move file to internal package
externalize strings in disprover.cover
fix import of counter example
renamed disprover -> (dis)prover, remove old strings
provide disprover as an auto tactic