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