Improved the badge urls for github projects

Using the SVG versions is better than the old PNG versions.

I also rename the ``getTravisName`` private method, because it was not getting a name at all