update TaPL.cabal
Add info about tests to README