Cleanup of make_ctags

Looking at our src/tools/make_ctags, it was using an option that was
renamed and no longer documented since 2003;   this applied patch uses
the new option name.

If anyone using a ctags that old, I will find a way to support both, but
until then, I think we should just use the documented option.

-- 
  Bruce Momjian  <bruce@momjian.us>        http://momjian.us
  EnterpriseDB                             http://enterprisedb.com

  + It's impossible for everything to be true. +