doc travis: update Ubuntu version on Travis CI