log tests/README

age author description
2011-04-17 Adam Chlipala Warn that tests ought not to be used