remove obsolete export as disprover test case
add preference page for disprover