lua : make usermanual API generation reproducible
lua : upadate README of the API generation tools