Update HOL Light to rev 157
perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
releaseTools: Add ‘aggregate’ function

An aggregate is a trivial build that depends on other builds.  This is
intended to provide a declarative replacement of Hydra's "view"
mechanism.

For instance, you can define an aggregate named "critical" that
depends on a selected set of jobs:

  critical = releaseTools.aggregate
    { name = "foo-${tarball.version}";
      members =
        [ tarball
          build.x86_64-linux
          ...
        ];
      meta.description = "Release-critical builds";
    };

The "critical" build will only succeed if all its members
(dependencies) succeed.
Make Nixpkgs jobs unique

That is, there are now distinct jobs like ‘coreutils.x86_64-linux’ and
‘coreutils.x86_64-darwin’, rather than a single job ‘coreutils’ with
multiple builds.  This means that testing a job is simpler:

  $ nix-build pkgs/top-level/release.nix -A coreutils.x86_64-linux

See https://github.com/NixOS/hydra/issues/60 for the motivation.
Remove broken ‘removeList’ function
Only return Hydra jobs for supported platforms
eval-release.nix: Handle the new job structure

Now that we don't need to pass "system" arguments anymore, this thing
is *almost* obsolete.  (Except for the need to handle assertion
failures, you could just do "nix-instantiate --eval-only ..." on
release.nix.)
Add an "unstable" aggregate to replace the "unstable" view

Views are obsolete, aggregates are the declarative replacement.
Fix comment
release-lib.nix: Make the set of supported platforms an argument
iproute2: Update to 3.8.0
gimp: update from 2.8.2 to 2.8.4
nixUnstable: Bump
dropbox: add x86 support
latest git version of gimp
Merge commit 'refs/top-bases/experimental/overlays' into experimental/overlays

* commit 'refs/top-bases/experimental/overlays':
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
Merge branch 'experimental/overlays' into refs/top-bases/experimental/updates

* experimental/overlays:
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
Merge branch 'experimental/overlays' into refs/top-bases/experimental/hack-nix

* experimental/overlays:
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux
Merge branch 'experimental/hack-nix' into refs/top-bases/experimental/updates

* experimental/hack-nix:
Merge commit 'refs/top-bases/experimental/hack-nix' into experimental/hack-nix

* commit 'refs/top-bases/experimental/hack-nix':
  dropbox: add x86 support
  nixUnstable: Bump
  gimp: update from 2.8.2 to 2.8.4
  iproute2: Update to 3.8.0
  release-lib.nix: Make the set of supported platforms an argument
  Fix comment
  Add an "unstable" aggregate to replace the "unstable" view
  eval-release.nix: Handle the new job structure
  Only return Hydra jobs for supported platforms
  Remove broken ‘removeList’ function
  Make Nixpkgs jobs unique
  releaseTools: Add ‘aggregate’ function
  perl-GD: update to version 2.49 in a blind attempt to fix test suite failures on x86-linux