Do not install eliom_content_core.cmi (breaks html typing)