usermanual : put lua API in a separate file

this is a preliminary step before auto-generating that file