This is an "ours" merge to avoid taking any changs from maint-0.3.0: we don't want to take the travis file, since there is a separate branch for putting it in 0.3.1 and later.