don't tolerate Lua comments when parsing commands

Dependencies

• [2] UY647VAQ rename
• [3] VA7NGQLG ignore comments when selecting buffer name
• [4] WYKKFV2G prevent overriding foundational definitions
• [5] 5U3UBEQD new command: batch GET
• [6] F7J2IBRS support including a default_map
• [7] F735F5KO now fix copy-paste errors in GET*
• [8] D27H6QAC undo previous commit
• [9] LRDM35CE app running again
• [10] YOK66CEW small change to simplify the driver's task
• [11] H3RX6UWR abortive experiment: keep definitions independent
• [12] BSDXVB3H backport some doc updates and renames

Change contents

• replacement in live.lua at line 199
  [4.7126]→[2.605:637](∅→∅)
  − local definition_name = cmd
  [4.7126]

  [2.637]
  + local definition_name = live.get_definition_name_from_buffer(buf)

  + print('definition name is '..definition_name)
• edit in live.lua at line 228
  [4.938]

  [3.10]
  + return buf:match('^%s*(%S+)')

  + end

  +

  + function live.get_definition_name_from_buffer(buf)