More optimization of QCF.  Fixed InstMatchTrie for caching instantiations.  Use non-context dependent cache for instantiations when not incremental.  Instantiate from relevant domain when no other instantiations apply.  Minor cleanup of relevance for triggers.
More optimization of QCF and instantiation caching.  Fix CDInstMatchTrie.
URL update
Merge branch '1.3.x'
More optimizations of quantifier instantiation data structures.