fix travis badge

we were using the badge from our private travis build which no longer
works.