Deletion of E equational theorem prover

Comment: Somewhat reluctant keep, as it is a bit -ish but I think it runs over the  threshold ivo sources
Stance: keep
Cited policy: Wikipedia:Conflict of interest (WP:COI||WP:N)