refactor tests a bit to remove code duplication

tests/CMakeLists.txt

tests/getlemmas.cpp

tests/getorth.cpp

tests/getsymbols.cpp

tests/getsymbolsinrange.cpp

tests/mark.cpp

tests/optest.cpp

tests/optest.h

tests/positionpredicates.cpp

tests/relativeposition.cpp