Setup for the gcongr tactic

The core implementation of the gcongr ("generalized congruence") tactic is in the file Tactic.GCongr.Core.

We register gcongr with the hint tactic.