Update travis config for 5.20 (removed 5.19)