Loop invariants

[jesper-amilon]

TriCera also generates loop invariants in some cases. We can extend Saida to also import any generated loop invariants. Generating loop invariants is activated in tricera with '-inv' option.