Formal specification of the qlty.toml configuration file