lua : add a dumper documentation generator

This dumper will dump the API in a format that is loadable as a
lua module.
lua : add a tool to compare two API dumps
lua : remove versionning in content.lua
lua : make documentation deterministic again