Bump Cabal dependency to 1.20

With this change, packages with a "License" field of BSD2 or MPL pass the upload lint.

These licenses (and others that were missing) have also been added to the tag system.

I didn't do any porting other than this; if there's something I overlooked please point it out. It compiles and passes the tests though.

Fixes #182.