Fix WITHOUT ROWID tables so that they correctly deal with PRIMARY KEYs that
contain redundant columns.
Fix the "checksymbols" target in Makefile.in so that it actually works.
Enhance the releasetest.tcl script to count the total number of tests
run over all configurations.