Spin off EqSat.TermIndex.* into a separate package

[taktoa]

Our term indexing data structures could be useful for other Haskell projects, such as Hoogle or Idris or Agda. We should put them in a separate package, ideally with not too many dependencies.