remove the collection catalog

In the last phase, we got the go ahead to remove the obsolete collection catalog feature, but I never got around to doing it. Similar to #126, it causes a lot of false positives in code search results. This request finishes the job of removing it.