update documentation references for v0.17

doc/guide/README.md

@@ -11,7 +11,8 @@ $ git clone https://github.com/vyzo/gerbil.git
 
 ## Dependencies
 
-The latest Gerbil release (v0.16) requires the latest Gambit release, v4.9.3.
+The latest Gerbil release (v0.17) requires the latest Gambit release, v4.9.4;
+we also explicitly support the previous Gambit release, v4.9.3.
 Older versions of Gambit, starting with v4.9.1 may also work, but we haven't tested.
 
 The core system has no dependencies outside Gambit, but the standard
@@ -45,7 +46,7 @@ Gerbil takes quite a while to compile, if you wish it to build faster, you can:
 ```
 export GERBIL_BUILD_CORES=4
 ```
- 
+
 If you are using the default configuration, you can build Gerbil simply with:
 ```bash
 $GERBIL_HOME/src/build.sh

doc/guide/getting-started.md

@@ -98,7 +98,7 @@ the `--prefix` option specified while configuring Gerbil.
 If Gerbil was configured with `--prefix=/some/path`, then the specified path is used
 as its home directory.
 You can specify `--prefix=/usr/local` or `--prefix=/opt/gerbil` or
-`--prefix=$HOME/local/stow/gerbil-v0.16` or whatever follows your software installation discipline.
+`--prefix=$HOME/local/stow/gerbil-v0.17` or whatever follows your software installation discipline.
 Finally, if Gerbil was configured without `--prefix`, then Gerbil uses
 the parent directory of the directory in which `gxi` is installed.
 Note that in this final case, the autodetection relies on `gxi` not being a symlink,