Add minetest.get_version() which returns the complete version string and the major, minor and patch version as numbers