Fix docstring

`flycheck-mode` nowadays always enables the mode.

[ci skip]
Require appropriate feature for global mode
Replace `should` with `should-not`
Inhibit checkdoc in Carton files

Carton files are no real libraries, so they don't have to follow the
documentation rules.
Fix markup

[ci skip]
Colorize mode-line depending on Flycheck status.