[release] Bump version to 0.13.0

We turned on the GC!  It's slow, but that's still worth something.

INSTALL.txt

@@ -11,8 +11,8 @@ Quick Start
 
 If you haven't already done so, extract the tarball:
 
-    tar -x --xz < oil-0.12.9.tar.xz
-    cd oil-0.12.9
+    tar -x --xz < oil-0.13.0.tar.xz
+    cd oil-0.13.0
 
 Either install as /usr/local/bin/osh:
 
@@ -33,7 +33,7 @@ The latter doesn't require root access, but it requires:
   (See manpath or $MANPATH.)
 
 NOTE: Out-of-tree builds are NOT currently supported, so you have to be in the
-oil-0.12.9 directory.
+oil-0.13.0 directory.
 
 Smoke Test
 ----------
@@ -52,7 +52,7 @@ More Documentation
 
 Every release has a home page with links, e.g.
 
-    https://oilshell.org/release/0.12.9/
+    https://oilshell.org/release/0.13.0/
 
 System Requirements
 -------------------

doc/osh.1

@@ -72,7 +72,7 @@ The referenced command or script could not be found.
 .Xr busybox 1 ,
 .Xr sh 1
 .Pp
-.Lk http://www.oilshell.org/release/0.12.9/doc/ Docs
+.Lk http://www.oilshell.org/release/0.13.0/doc/ Docs
 .Sh AUTHORS
 The
 .Nm

doc/release-index.md

@@ -4,7 +4,7 @@ all_docs_url: -
 version_url: -
 ---
 
-Oil 0.12.9
+Oil 0.13.0
 ============
 
 <!-- NOTE: This file is published to /release/$VERSION/index.html -->
@@ -13,7 +13,7 @@ Oil 0.12.9
 <!-- REPLACE_WITH_DATE -->
 </span>
 
-This is the home page for version 0.12.9 of Oil, a Unix shell.  To use it,
+This is the home page for version 0.13.0 of Oil, a Unix shell.  To use it,
 
 1. Download a source tarball.
 2. Build it and do a "smoke test", as described in [INSTALL][].

doc/release-quality.md

@@ -4,7 +4,7 @@ all_docs_url: -
 version_url: -
 ---
 
-Oil 0.12.9 Quality
+Oil 0.13.0 Quality
 =================
 
 <!-- NOTE: This file is published to /release/$VERSION/quality.html -->

oil-version.txt

@@ -1,4 +1,4 @@
-0.12.9
+0.13.0
 
 # The first line of this file is the Oil version, and the rest is ignored.
 # It's used at build time for the release tarball, and at runtime for oil