Now 'redo test' runs the tests, but 'redo t' just builds the programs. Also removed wvtest stuff; we're not really using it properly anyway and it's not helping our testing right now. It might come back later.
This fails if you make test *twice* without the preceding patch. Unfortunately I couldn't find a good way to make it fail if you only make test once.