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. +