log tests/crud1.html

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