remove backslashes in Galileo.py
move check_counts to LOTlib/Examples/Quantifier, and remove old check_counts import statement. Unfortunately, the Quantifier example seems broken as from Shared import * throws an error.
FunctionNode now adheres to pep8 style
Merge branch 'master' of https://github.com/jthurst3/LOTlib
Merge branch 'master' of https://github.com/jthurst3/LOTlib
add simple grammar to test increment_tree
Starting to test increment_tree function; copy some grammars into LOTlibTest/Grammars/
comment out print statements in Grammar.py
Changed some string concatenations
Merge branch 'master' of https://github.com/jthurst3/LOTlib
Merge branch 'master' of https://github.com/piantado/LOTlib
merge from piantado/LOTlib, fix merge conflict in Grammar
comment out print statement in Grammar.py, add print statement in GrammarTest.py
Merge branch 'master' of https://github.com/piantado/LOTlib

Conflicts:
	LOTlib/Grammar.py
merge from piantado/LOTlib
fix merge conflicts with jthurst3/LOTlib
add print statements to LOTlibTest/ for debugging, skip tests that have already passed
add subclasses of FunctionNode and GrammarRule: one for when we introduce a bound variable, and one for when we use a bound variable
revert to previous version of FunctionNode.as_list(), comment out print statements in test
Add print statements to GrammarTest and as_list to help identify the systemic problem with as_list