[release] Bump version to 0.7.0.

INSTALL.txt

@@ -11,8 +11,8 @@ Quick Start
 
 If you haven't already done so, extract the tarball:
 
-    tar -x --xz < oil-0.7.pre11.tar.xz
-    cd oil-0.7.pre11
+    tar -x --xz < oil-0.7.0.tar.xz
+    cd oil-0.7.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.7.pre11 directory.
+oil-0.7.0 directory.
 
 Smoke Test
 ----------

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.7.pre11/doc/ Docs
+.Lk http://www.oilshell.org/release/0.7.0/doc/ Docs
 .Sh AUTHORS
 The
 .Nm

doc/release-index.md

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

oil-version.txt

@@ -1,4 +1,4 @@
-0.7.pre11
+0.7.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