add export as "disprover test case" to context menu