Avoid MonadFail instance for ST in Agda patch

See merge request ghc/head.hackage!212

The latest Hackage versions of these packages support HEAD.

Patches for removing MonadFail ST instance

See merge request ghc/head.hackage!211

Fix #47 by keeping checkUnit in sync with codesToStatus

Closes #47 and #48

See merge request ghc/head.hackage!210

Thanks to @ulysses4ever for preparing some of these patches.

Patch latest versions of aeson, Agda, and servant

See merge request ghc/head.hackage!209

HEAD compiles `.hs-boot` files more eagerly, which revealed a compilation
failure lying in wait in an unused `.hs-boot` file in `Agda-2.6.1.3`. The
simplest fix is to just remove the unused `.hs-boot` file.

Previously, `checkUnit` and `codesToStatus` could report completely different
answers about whether a package built successfully or not if the failure
occurs after an `Installing executable X in ...` message occurs. This was the
case when building `Agda-2.6.1.3`—see #47. To avoid this problem, we now
ensure that `checkUnit` only returns `BuildSucceeded` in this scenario if
`codesToStatus` also returns `PackageBuildSucceeded`.

Now that Stackage Nightly uses `aeson-2.0.3.0`, it's about time we used that
version of `aeson` consistently in `head.hackage`. This requires sprucing up
the `ansi-pretty` and `haxl` patches a bit to accommodate.

`servant-0.19` requires some fixup due to ghc/ghc#21149.

Migrate patches to latest Hackage versions, including basement and foundation

See merge request ghc/head.hackage!207

See the comments beginning at
ghc/ghc#20200 (comment 411971)

The latest Hackage versions of these packages now support HEAD.

Fix #31

Closes #31

See merge request ghc/head.hackage!208

Avoid nonconfluence in  hgeometry-combinatorial

See merge request ghc/head.hackage!206

  The existing behaviour relied on non-confluent behaviour
  in the constraint solver, which caused a problem
  when removing derived constraints

Cabal/Cabal-syntax split patches

See merge request ghc/head.hackage!205

This is unecessary as Cabal is freely reinstallable.

Use better text-2.0–accommodating patches for cribit, double-conversion

See merge request ghc/head.hackage!204

These patches are provided courtesy of Bodigrim in
https://github.com/haskell/critbit/pull/95 and
https://github.com/haskell/double-conversion/pull/28.
See #43.

The latest Hackage versions of these libraries support GHC HEAD.

Using more modern versions of `attoparsec` and `streaming-commons` is part of
the goals of #43.

Fix the exit code when there are expected broken packages

See merge request ghc/head.hackage!203

Patch box-tuples and posix-api for ArrayArray# changes

See merge request ghc/head.hackage!202

ci: Remove default variables from externally triggered jobs

See merge request ghc/head.hackage!200