Draft TESTING documentation (#181)

The documentation is lame in that it only contains instructions to
run a single testcase (the one for SQL). But it's a start.