Adding function Eliom_request_info.get_file_content_type