Simplify the way of providing option header.
Add ASL_GetOptionHeader to the C API.
Write option header to HTML.
Correct title.
Add ASL_OPT_HAS_VALUES flag.
Improve option formatting.