Merge branch 'feature/bdesloges/ci/frama-c-patch-shebangs' into 'master'

[ci] Add patchShebang to frama-c.nix

See merge request frama-c/frama-c!4877

nix/frama-c.nix

@@ -109,6 +109,10 @@ stdenvNoCC.mkDerivation rec {
 
   outputs = [ "out" "build_dir" ];
 
+  postPatch = ''
+    patchShebangs .
+  '';
+
   preConfigure = ''
     dune build @frama-c-configure
   '';