Deleted main. Clash with ProB lib
Added Prime as main file.

Basis for loading the ProB kernel to interact with Classical B Machines
Now ignores ProB Preference file from runtime
Added Basic Op machine for demo