remove disprover drop down menu, move button to toolbar
remove obsolete files (old disprover tactics)