Property definitions

curl $ CURLInfoDouble :: total_time
	new total_time `{ return CURLINFO_TOTAL_TIME; `}
lib/curl/native_curl.nit:385,2--49