update .gitignore to include header_generator.py
Merge branch 'master' of https://github.com/jthurst3/LOTlib
update docstrings in Hypotheses/Hypothesis.py
update docstrings in LOTlib/Hypotheses/FunctionHypothesis.py