Remove obsolete wiki user script

Replaced by server-side config.

(imported from commit 54b749e37955111439da5e27a2233ff596214971)

tools/wiki-user-script.user.js

@@ -1,19 +0,0 @@
-// ==UserScript==
-// @match https://wiki.humbughq.com/*
-// ==/UserScript==
-
-// Sets a default commit message when editing the Humbug wiki.
-//
-// To install in Chromium 21:
-//   - Close all Chromium windows
-//   - Run chromium --enable-easy-off-store-extension-install
-//   - Navigate to this directory and click the link to this file.
-//
-// May also work in Firefox with Greasemonkey.
-
-(function () {
-    var elem = document.getElementById("logMsg");
-    if (elem != null) {
-        elem.value = "(default commit message)";
-    }
-})();