Add a Plugin in EPMC

How Plugin System Works

A plugin consists of following components:

• a resource directory under src/main where you can put your messages resources;
• a message class (optional) in which you can load your messages from the resource files during runtime;
• an option class (optional) in which you can create your options for the plugin and one can choose the options via command line,
• your implementation of something you need;
• BeforeOptionsCreation by which the main program can load the plugin during the execution of the model checker;
• a class (required) implements the interface AfterOptionsCreation and it tells the main program how to load this plugin and calls the process function defined in AfterOptionsCreation interface;
• MANIFEST file to specify its dependencies on other plugins.