Replace the currently visible fragment, if any, with native_fragment

Property definitions

android :: ui $ NativeActivity :: show_fragment
	# Replace the currently visible fragment, if any, with `native_fragment`
	private fun show_fragment(root_layout_id: Int, native_fragment: Android_app_Fragment)
	in "Java" `{
		android.app.FragmentTransaction transaction = self.getFragmentManager().beginTransaction();
		transaction.replace((int)root_layout_id, native_fragment);
		transaction.commit();
	`}
lib/android/ui/ui.nit:57,2--63,3