The jar can now be run with the "install" option to automatically copy
itself into the ProB home directory, and generate and install a Jupyter
kernel spec.
The build.gradle no longer generates the kernel spec itself, it now
runs the kernel jar to do that.
