Bugfix in translation: In case of quantified expressions or predicates, 
a superfluous bound variable name was put on the stack, resulting in wrong
resolving of bound variables.
remove obsolete export as disprover test case
add preference page for disprover
Merge branch 'develop' into rodin3