Add a script to generate a contributors list, and use it to make a CONTRIBUTORS file.

CONTRIBUTORS

@@ -0,0 +1,4 @@
+    179 Aldo Cortesi
+     18 Henrik Nordstrom
+     13 Thomas Roth
+      1 Henrik Nordström

doc-src/_websitelayout.html

@@ -4,9 +4,9 @@
         <h1><a href="@!urlTo("/index.html")!@">mitmproxy</a> </h1>
         <div class="HorizontalNavBar">
             <ul>
-                <li class="inactive"><a href="../index.html">home</a></li>
+                <li class="inactive"><a href="@!urlTo("/index.html")!@">home</a></li>
                 <li class="active"><a href="@!urlTo("doc/index.html")!@">docs</a></li>
-                <li class="inactive"><a href="../development.html">development</a></li>
+                <li class="inactive"><a href="@!urlTo("/about.html")!@">about</a></li>
             </ul>
         </div>
         <br>

scripts/contributors

@@ -0,0 +1,2 @@
+#!/bin/sh
+git log | grep "^Author:" | sed 's/ <.*//; s/^Author: //' | sort | uniq -c | sort -nr