Add default.nix

Tested: nix-shell --pure --run make

Author: maximedenes

default.nix

@@ -0,0 +1,18 @@
+{ pkgs ? (import <nixpkgs> {})
+, ocamlPackages ? pkgs.ocaml-ng.ocamlPackages_4_06
+}:
+
+with pkgs;
+
+stdenv.mkDerivation rec {
+
+  name = "vscoq";
+  src = null;
+
+  buildInputs = [
+    wget
+    nodejs
+    nodePackages.npm
+  ];
+
+}