add travis-ci badge and hackage badge to README.md