Committing patch adding verilog from Antonio Vargas Gonzalez

From his original, I adapted some spacing, and removed the release.nix reference
(superfluous having set meta.platforms)

svn path=/nixpkgs/trunk/; revision=24860

pkgs/applications/science/electronics/verilog/default.nix

@@ -0,0 +1,20 @@
+{stdenv, fetchurl, gperf, flex, bison}:
+
+stdenv.mkDerivation rec {
+  name = "verilog-0.9.3";
+
+  src = fetchurl {
+    url = "mirror://sourceforce/${name}.tar.gz";
+    sha256 = "dd68c8ab874a93805d1e93fa76ee1e91fc0c7b20822ded3e57b6536cd8c0d1ba";
+  };
+
+  buildInputs = [ gperf flex bison ];
+
+  meta = {
+    description = "Icarus Verilog compiler";
+    homepage = http://www.icarus.com;
+    license = "GPLv2+";
+    maintainers = with stdenv.lib.maintainers; [winden];
+    platforms = with stdenv.lib.platforms; linux;
+  };
+}