all-packages.nix: drop unused gmp51 attribute
ghc: build with a gmp variant that provides static libraries
Add ghc783Binary attribute.