Added example Lustre files from Kind 1
Fixed genration of ocamldoc
Cache string representions of terms