cabal: switch to AGPL

Cabal <= 18.0 did not know about the AGPL so GPL was specified.  But
it knows about AGPL now so update the field.