Markup command documentation: categories and properties

Markup command documentation: categories and properties

Add a category argument to define-builtin-markup-command,
so that markup commands are sorted by categories in the documentation.
Also add a properties argument, which is used in the markup command
code to create bindings (extracting the properties from the props
argument), and in the documentation to list the used properties.