log tests/README

age author description
Sun, 17 Apr 2011 11:21:19 -0400 Adam Chlipala Warn that tests ought not to be used