add coverity badges, test coverage token for travis