Fix bootstrapping issues with awkname, toascii, and notangle

[turboencabulator]

Cherry-picked from #10.

Installation instructions say to first run awkname gawk if necessary. This fails, lib/toascii doesn't exist yet:

$ ./awkname gawk
./awkname: line 17: lib/toascii: No such file or directory
awkname: failed to change lib/toascii

Try running make to generate it:

make[1]: Entering directory '/tmp/noweb/src/lib'
notangle -Rtoascii toascii.nw > toascii
/bin/sh: notangle: command not found
Makefile:34: recipe for target 'toascii' failed
make[1]: *** [toascii] Error 127

Of course, notangle isn't installed yet, and our goal is to install it. There is a copy in src/shell, but it needs substitutions for things like |LIBDIR| which happens at installation time, and we also need awkname to modify several of these src/shell scripts before installing/running them.

There may be some hack that lets us execute notangle before everything is installed, but the simplest workaround is to keep a generated copy of toascii in the repo.

If we followed the instructions and ran make boot before make, it would touch toascii and we would likely install it as an empty file.

[nrnrnr]

I don't know why github keeps putting merge commits into the history. In order to get rid of them, I had to force-push. Sorry about that.

[nrnrnr]

OK, I've found and changed the github settings. No more merge commits! That should do it.