C..12CS1: Colle-Salvetti correlation functional

CS1 is formally identical to CS2, except for a reformulation in
which the terms involving are eliminated by integration by parts.
This makes the functional more economical to evaluate. In the limit of exact
quadrature, CS1 and CS2 are identical, but small numerical
differences appear with finite integration grids.