verible: 0.0.3856 -> 0.0.4019

[hzeller]

Update to latest Verible

This in particular uses a rules_cc that is more compatible with NixOS, as it uses /bin/sh, not some bash that is invoked in an obscure context.

Things done

Built on x86; waiting for ofborg to tell me the other derivation hashes for the other platforms before un-drafting this PR

• Built on platform:
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• Tested, as applicable:
  • NixOS tests in nixos/tests.
  • Package tests at passthru.tests.
  • Tests in lib/tests or pkgs/test for functions and "core" functionality.
• Ran nixpkgs-review on this PR. See nixpkgs-review usage.
• Tested basic functionality of all binary files, usually in ./result/bin/.
• Nixpkgs Release Notes
  • Package update: when the change is major or breaking.
• NixOS Release Notes
  • Module addition: when adding a new NixOS module.
  • Module update: when the change is significant.
• Fits CONTRIBUTING.md, pkgs/README.md, maintainers/README.md and other READMEs.

---

Add a 👍 reaction to pull requests you find important.

[hzeller]

Waiting for #435110 to be submitted so that we can get a proper hash for ofborg.

[wegank]

Superseded by #445793.