Convert Formula to latex
Implemented Basic Gui

Error messages needed as well as handling when the proof is complete.
Update build.xml
Implement Indentation for gui

Added space between proof lines to increase readability
Merge branch 'gui'

Conflicts:
	src/ic/doc/ipandora/folformula/Constant.java
	src/ic/doc/ipandora/folformula/Disjunction.java
	src/ic/doc/ipandora/folformula/False.java
	src/ic/doc/ipandora/folformula/Proposition.java
	src/ic/doc/ipandora/folformula/Quantifier.java
	src/ic/doc/ipandora/folformula/True.java
	src/ic/doc/ipandora/proof/MainProof.java
	src/ic/doc/ipandora/proof/MultiLineProof.java