Removed ProB modules

Will need to be installed prior to running.