Fix link to LICENSE

Summary:

Test Plan:

Use crypton-connection instead of connection

Follows the change introduced in tls 1.7.0. Fixes building with new warp/warp-tls.

Action/Generate: Add the PR documentation to `readHaskellHaddock`

The reasoning behind this function was described in its PR message,
but did not make it into documentation.

I opted for just copying it into the docstring for now, maybe later
there could be a better place for it, e.g. in the manual.

Action/Generate: Best effort warnings when flags are ignored

The command line parser accepts any flags in `generate`, but no
warning is shown if user instructions are ignored.

This is a best-effort way of warning if a flag would be ignored,
making it more user-friendly.

Ideally, this would be done before starting work, but I don’t see a
good way to patch it into the command line parser; maybe by having an
intermediate parsing step that parses into an ADT first and throws
warnings for ignored arguments.

Another case I saw is that “--haskell” and “--frege” can both be set,
but “--haskell” will always be ignored.

Refactor Input/Download

This should be the clearest expression of the logic.
I follow the hlint `when . not` -> `unless` suggestion here, although
personally I find `when (not exists)` easier to follow.

It was indeed a 3-state thing, if the flag is set it forces the
outcome, irrespective of whether the input file already exists.

I think we can collapse the `Nothing`/`Just False` case.

Document Timing.hs

Fix stackage lts and nightly urls in Generate.hs

Move results before left anchors in tab focus order