Add to phobos "Improve this page" and "Page wiki"

std.ddoc

@@ -100,6 +100,7 @@ function listanchors()
     $(NAVIGATION_PHOBOS)
 </div><!--/navigation-->
 <div id="content">
+    $(PAGE_TOOLS)
     <h1>$(TITLE)</h1>
     <div id=quickindex class=quickindex></div>
     $(BODY)
@@ -115,6 +116,23 @@ Page generated by $(LINK2 http://www.digitalmars.com/d/2.0/ddoc.html, Ddoc).
 </body>
 </html>
 
+PAGE_TOOLS=
+<div id="tools">
+	<!--span id="lastupdate">Last update $(DATETIME)</span-->
+	<a href="https://github.com/D-Programming-Language/phobos/edit/master/$(SRCFILENAME)" class="tip button">
+		Improve this page
+		<span>
+			Quickly fork, edit online, and submit a pull request for this page.
+			Requires a signed-in GitHub account. This works well for small changes.
+			If you'd like to make larger changes you may want to consider using
+			local clone.
+		</span>
+	</a>
+	<a href="http://www.prowiki.org/wiki4d/wiki.cgi?DocComments/$(WIKI)" class="button">
+		Page wiki
+	</a>
+</div>
+
 GOOGLE_FOOTER=
 <br><br>
 <br><br>