Merge master into haskell-updates

# Idris

/pkgs/development/idris-modules @Infinisil

/pkgs/development/compilers/idris2 @mattpolzin

# Bazel

/pkgs/development/tools/build-managers/bazel @Profpatsch

* `dotnet-sdk` is useful in cases where you need to change what dotnet SDK is being used. You can also set this to the result of `dotnetSdkPackages.combinePackages`, if the project uses multiple SDKs to build.

* `dotnet-runtime` is useful in cases where you need to change what dotnet runtime is being used. This can be either a regular dotnet runtime, or an aspnetcore.

* `testProjectFile` is useful in cases where the regular project file does not contain the unit tests. It gets restored and build, but not installed. You may need to regenerate your nuget lockfile after setting this. Note that if set, only tests from this project are executed.

* `testFilters` is used to disable running unit tests based on various [filters](https://docs.microsoft.com/en-us/dotnet/core/tools/dotnet-test#filter-option-details). This gets passed as: `dotnet test --filter "{}"`, with each filter being concatenated using `"&"`.

* `disabledTests` is used to disable running specific unit tests. This gets passed as: `dotnet test --filter "FullyQualifiedName!={}"`, to ensure compatibility with all unit test frameworks.

* `dotnetRestoreFlags` can be used to pass flags to `dotnet restore`.

* `dotnetBuildFlags` can be used to pass flags to `dotnet build`.

      else

        # (nixos-option detects this specific error message and gives it special

        # handling.  If changed here, please change it there too.)

        throw "The option `${showOption loc}' is used but not defined.";

        throw "The option `${showOption loc}' was accessed but has no value defined. Try setting the option.";

    isDefined = defsFinal != [];

      start ? false,

      end ? false,

    }:

    s:

    let

      # Define our own whitespace character class instead of using

      # `[:space:]`, which is not well-defined.

          "(.*[^${chars}])[${chars}]*"

        else

          "(.*)";

    in

    s:

    let

      # If the string was empty or entirely whitespace,

      # then the regex may not match and `res` will be `null`.

      res = match regex s;

              "armv7l" = "armv7";

              "armv6l" = "arm";

              "armv5tel" = "armv5te";

              "riscv32" = "riscv32gc";

              "riscv64" = "riscv64gc";

            }.${cpu.name} or cpu.name;

            vendor_ = final.rust.platform.vendor;