Update travis (and add 4.02.1)