Remove support for ctags

[luabud]

ctags won't be needed anymore since we're soon going to ship Jedi behind LSP to all users.

[brettcannon]

@karthiknadig I assume this can be closed?

[karthiknadig]

Yes this can be closed. This is in the remove-old "stuff" branch. That branch has to be merged with main. that is the only thing pending