Added an observation to INSTALL.
Link to llvm2KITTeL.
Merge pull request #1 from mmjb/master

Refactoring/Cleanup of smt.ml
Removed a tab and a trailing whitespace.
Fix typo