[logic] Everything I did last semester
Merge branch 'logic' of https://github.com/CurryBoy/Peirce-Logic into logic
wtf
fixed?
PL to EG redone
Merge branch 'logic' of https://github.com/CurryBoy/Peirce-Logic into logic

Conflicts:
	appengine/templates/index.html
changes to pegjs
[logic - scropp] Fixed PL_to_EG function, works like old but with shiny new parser dawg
Implemented siblicide
[refactor] Split level and variable into UI containers. Node tree now exists on its own.
Update README
[ui refactor] merged in master
Steven C node changed (need fmap still)
[logic] Updated Proof to handle ui reactors and also changed proof node to work with more serilizable terms
Merge branch 'ui_bind_refactor' of https://github.com/CurryBoy/Peirce-Logic into ui_bind_refactor
Steven C added test file frames and small avail-inf rule changes for new nodes
node fmap
Merge branch 'ui_bind_refactor' of github.com:CurryBoy/Peirce-Logic into ui_bind_refactor
Merge branch 'ui_bind_refactor' of https://github.com/CurryBoy/Peirce-Logic into ui_bind_refactor
[logic] Merged logic's updates with new ui refactor.