Update internal copy of getopt.lua to match recent change
configure.ac: fix a couple of nits