update coverage and travis-ci badges to be off of master