Add natural language input
Created by: mkg33
- Added a function that converts ACE input to a TPTP formula using the Attempto webservice.
- Added a function that converts a TPTP formula to natural language.
- Added an example that illustrates the usage.
- Also corrected a few minor typos.