lua : update usermanual generation
lua api usermanual : remove history information
lua usermanual : sanity checks on the database used to generate the manual
lua api : more reproducible documentation builds
lua usermanual API : reimplement attribute list according to upegelow's input
lua usermanual : remove <synopsis> to have proper linewrap

this doesn't look as good, i'll have to find a clean way to do it...
Merge pull request #541 from boucman/lua_usermanual

lua : update usermanual generation