Simplify basic_http/config.ml