log tests/hello.html

age author description
2015-07-29 Adam Chlipala Add a simple 'make test' target