Flag state variables as irrelevant for inv. gen.
Merge pull request #168 from chsticksel/inv-gen

Flag state variables as irrelevant for inv. gen.
Grepable output of final time.
Easily greppable tags.
Merge pull request #169 from AdrienChampion/feature_output-final-time

Grepable output of final time.
Merge remote-tracking branch 'upstream/develop' into invGen
Merge resolution, Set.of_list optim.