Add instance Semigroup a => Semigroup (Const a b)

I'm also planning on getting ‘instance Monoid a => Monoid (Const a b)’ into base (for lens), so this might as well be provided for symmetry.