GitLab

Add functions to make the difference between the native and the java code version.

Factor out the version management in the makefiles.