Merge branch 'upgrade/ci/4.14' into 'master'

Upgrade CI

See merge request frama-c/frama-clang!189

.gitlab-ci.yml

@@ -8,7 +8,7 @@ stages:
 ### DEFAULT JOB PARAMETERS
 
 default:
-  tags: [nix]
+  tags: [nix-v2]
 
 ################################################################################
 ### VARIABLES

nix/frama-clang.nix

@@ -4,12 +4,11 @@
 , camlp-streams
 , gnused
 , llvmPackages
-, gitignoreSource
 }:
 
 mk_plugin {
   plugin-name = "frama-clang-on-llvm-" + llvmPackages.llvm.version;
-  plugin-src = gitignoreSource ./.. ;
+  plugin-src = fetchGit { shallow=true ; url=./.. ; } ;
   additional-build-inputs = [
     camlp5
     camlp-streams