Added an etags command for making a TAGS file.  See INSTALL.txt for
usage.  Next goal: provide a linear ordering for all the *.v files
so M-. and M-x tags-search find first things first.