Reimport tag creation script.

VERSION

@@ -0,0 +1 @@
+v0.3.1

tools/create-tag

@@ -0,0 +1,30 @@
+#!/usr/bin/env php
+<?php
+$path = (function($path) {
+    if(!str_starts_with($path, '/'))
+        die('Cannot be bothered to support non-UNIX style paths, sorry!' . PHP_EOL);
+
+    while($path !== '/') {
+        $vPath = $path . DIRECTORY_SEPARATOR . 'VERSION';
+        if(is_file($vPath))
+            return $vPath;
+
+        $path = dirname($path);
+    }
+})(__DIR__);
+
+$version = file_get_contents($path);
+if($version === false)
+    die('Failed to read VERSION file.' . PHP_EOL);
+$version = trim($version);
+
+$workingDir = getcwd();
+try {
+    chdir(dirname($path));
+    echo shell_exec(sprintf('git tag %s -m "%s"', $version, $version));
+    echo shell_exec(sprintf('git push origin %s', $version));
+} finally {
+    chdir($workingDir);
+}
+
+echo $version . PHP_EOL;