results2html: Add SHA-1 and SHA-256 to .tar.gz build products.

Requested by John Darrington because guix requires a sha256 of the source
trees that it downloads.

Update gendocs templates from gnulib.

build-pspp: Do parallel build.

build-pspp: Use -I flag to newer gendocs.sh to copy HTML image files.

The image files were being omitted from the HTML version of the generated
manual.  Using -I with sufficiently newer gendocs.sh solves the problem.

Reported by John Darrington.

gendocs.sh: Update from gnulib.

results2html: Properly encode output in UTF-8.

Otherwise quote marks appear as funny characters.

Add dist_dir to output variables.

build-pspp: Use ^0 to really verify commit number.

If we specify a full commit number to "git rev-parse" then it doesn't
check whether that commit really exists.

put gitweb links into diagnostics

Look for pspp.pot in both build and source directories.

They are in different locations on "stable" and "master".

remove $build_number from name of directory for building source distribution

save distributed files to Git when we build binary, not source

save POT file as build product

work on pointing error messages to source files

Work on not forcing build-pspp to be invoked from its own directory.
not tested

working version that produced 20100217084144

use refs/builds instead of refs/heads
add gnulib commit number to NEWS

start work on git-import-tar

work on output formatting

add build products list

add build properties

Add utility for HTML results.

Works OK.  Add --batch

get it working pretty well

Improve build

Get it into working order.

work on autobuild system

do full build, install, check, etc.

extract gnulib commit number too

Start working on PSPP build script.