prooftool displays infix atomoformulas now without parenthesis, removed javaviewer subproject

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1705 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
added unchecked definition rules and exporter to llk. e.g. the tape proof can now be saved as llk and loaded back into the system again :)

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1707 85d21ef8-add0-11de-ae77-5bfb9c5a3f34