correct README
Modify Travis CI script
Add tests for analyzer, for #11
Fix bug