lua : minor corrections to lua API
lua : autogenerate API for usermanual

this is an early generation for review.