Added example Lustre files from Kind 1
Fixed genration of ocamldoc
Cache string representions of terms
Merge pull request #12 from chsticksel/master

Ocamldoc generation, example files and caching of string representation of terms