Auto-document syntax checker options

Also move all options below their corresponding checker in
manual/languages.rst