Fixes travis config and badges.