Tell travis to run the type checker
Merge pull request #19 from kilahm/check-types

Tell travis to run the type checker
Use HackClio for input
Use HackClio for output
Update the documentation.