New travis badge + change target to HTTPS