Add dev.nix

Author: Luca Bruno

dev.nix

@@ -0,0 +1,5 @@
+import ./default.nix {
+  url = "http://localhost:8080";
+  static = "./static";
+  views = "./views";
+}