Add config.mli to describe Config module.