Don't sign Git tags using GPG.

This is too painful for a multi-developer setup.