Allow displaying version info
From todo.txt:
this could be implemented by allowing access to external functions in Jupyter
PROB_INFO_STR("prob-version")
would then return this information.
To enable this one would need to load a machine
MACHINE Jupyter
DEFINITIONS "LibraryMeta.def"; "LibraryStrings.def" END