Allow MacOS

TODO

• Update the README with MAC specific instructions
• Copy the NuXMV executable for MacOS
• Copy the NuSMV with ZCHAFF for MacOS