[jython] Introduce compat_os_name