Merge remote-tracking branch 'origin/master' into semantics.
Change base goal number to zero.
Change tense of stay_there in carry.
Merge remote-tracking branch 'origin/semantics'
Deprecate old parse server.
Move most printing under verbose flags.
Move parser_demo to PipelineHost.
Add force_multiline option to Tree.pprint.
UI improvements to parser_demo.
Move parser_demo to new semantics and KB modules.
Deprecate old knowledge.py.
Catch EOFError when reading input.
Support version 1.1 of the SUBTLE Pipeline.
Merge remote-tracking branch 'origin/master' into pragbot

Conflicts:
	ltlbroom/specgeneration.py
	pipelinehost.py