Coq_config
val install_prefix : relocatable_path
val coqlib : relocatable_path
val configdir : relocatable_path
val datadir : relocatable_path
val docdir : relocatable_path
default web browser to use, may be overridden by environment variable COQREMOTEBROWSER
val native_compiler : native_compiler