Idris good first issues

The installation script for Idris2 is failing on NetBSD 11.0 due to an incorrect usage of the `basename` command. The script attempts to use the `-s` option to strip a suffix, but the `basename` version on NetBSD does not support this option, leading to an error and an incomplete installation.

This issue proposes to statically enforce that all logging options in the Idris codebase are documented. Currently, logging options are not documented, making them difficult to discover. The goal is to implement a mechanism similar to how environment variables are documented to ensure all logging options are accounted for.

Deprecate the old multi-line string syntax in the Idris 2 compiler. This involves modifying the parser to issue warnings for the old syntax and potentially replacing its usage with the newer, explicit multi-line string syntax. The task requires familiarity with the Idris 2 compiler's codebase and its parsing mechanisms.

This issue proposes computing a hash for each package based on its dependencies and commit/timestamp to prevent runtime errors caused by inconsistent dependency versions. This aims to improve reproducibility when using custom or local libraries that have transitive dependencies.