Opret JUnit-test

Du kan oprette en TPTP JUnit-test på to måder: manuelt eller fra en eksisterende JUnit-testcase.