Term::Factory, Grounder::Assignments::Assignment use unordered_map now.

* Moved Term::hash() to separate file lela/internal/hash.h.
* Specialisations for std::hash<Term>, std::equal_to<Term>.
* Setup::occurs_ is much faster with std::map, why?