Support abstraction option in nuXmv checks

The option:

-a 0|1          If true, enable abstraction/refinement

Is available for the following commands, but it is not currently supported by the library.

• check_invar_ic3
• check_ltlspec_-_ic3
• timed_check_invar

It should be possible to enable the abstraction when needed.