restored and improved lua-based document doxygen process; changed @name to @lua in all lua-specific doxygen blocks
merged in documentation support changes from develop-new