Get a resource ID from one resource in res/rawfolder

you may use this to retrieve the id of a sound for example

Property definitions

android $ ResourcesManager :: raw_id
	# Get a resource ID from one resource in `res/raw`folder
	# you may use this to retrieve the id of a sound for example
	fun raw_id(name: String): Int do
		sys.jni_env.push_local_frame(3)
		var return_value = android_resources.get_identifier(name.to_java_string, "raw".to_java_string, app_package.to_java_string)
		sys.jni_env.pop_local_frame
		return return_value
	end
lib/android/assets_and_resources.nit:265,2--272,4