Build/configure tweaks (including adding the generated ./configure script to the repository, to make building from a fresh checkout even more convenient, and to avoid bloating a README by explaining autoconf.