Remove ghctags (#16274)

Closed Sylvain Henry requested to merge hsyl20/ghc:hsyl20-remove-ghctags into master

Remove ghctags as discussed on ghc-devs and in #16274 (closed)

Merge request reports