Adding back Travis badge

you should use https here (to avoid a useless redirection)