Improve package dependency error

[mattpolzin]

Description

The error when a package dependency cannot be resolved is updated from e.g.

Uncaught error: EmptyFC:Failed to resolve the dependencies for my-pkg:
  pg-idris-0.0.8; indexed-0.0.10; parser-json-0.1.0; parser-0.1.0; elab-util-0.6.0; base-0.7.0; required indexed > 0.0.10 but assigned version 0.0.10 which is out of bounds

To

Uncaught error: EmptyFC:Failed to resolve the dependencies for my-pkg:
  Required indexed > 0.0.10 but only found version 0.0.10 which is out of bounds. Resolved transitive dependencies: pg-idris-0.0.8; indexed-0.0.10; parser-json-0.1.0; parser-0.1.0; elab-util-0.6.0; base-0.7.0.

Searched for packages in:
  /home/matt/staging/tmp/depends
  /home/matt/.idris2/idris2-0.7.0

For more details on what packages Idris2 can locate, run `idris2 --list-packages`

Tangentially, the output for --list-packages has been tweaked so that incompatible TTC version installs are now parenthetically marked as incompatible:

pg-idris-tests (0)
  ├ TTC Versions: 20241029 (incompatible)
  └ /home/matt/.idris2/idris2-0.7.0

Should this change go in the CHANGELOG?

• If this is a fix, user-facing change, a compiler change, or a new paper
  implementation, I have updated CHANGELOG_NEXT.md (and potentially also
  CONTRIBUTORS.md).