External calls for invariant generation.
Documented invGen external calls.
Corrected fsharp comments in invgen doc.
Typo in doc.
Additional doc, and no more lsd.
InvGen cleaner destruction of lsd before returning.
Merge pull request #205 from AdrienChampion/invGen-external-call

External calls to invariant generation