update class path and manifest with newer xstream version
add ability to export pos to file for disprover test case generation