fixing coveralls bug and adding badges