Use Travis and Coveralls badges that point to develop