minus versus underscore in new getopt file names

[Paul Eggert]

Now that I think about it, the longstanding Gnulib and GNU tradition is to use 
minus in file names rather than underscore. How about if we rename the 
newly-introduced getopt source files to use minus instead of underscore?