change Markup/Html.hs to take a configuration
add heading numbering
rename some Configs, update markup.hs to cope