Cap Documenter.jl to 0.19 on Travis (#236)

Documenter 0.20 will introduce breaking changes that will invalidate
existing make.jl setups. This commit makes sure that automatic Travis
builds will not use 0.20 automatically, in order to avoid sudden
documentation deployment failures once Documenter 0.20 gets tagged.

This commit has been generated by a script.

.travis.yml

@@ -22,6 +22,6 @@ notifications:
   email: false
 
 after_success:
-  - julia -e 'using Pkg; Pkg.add("Documenter")'
+  - julia -e 'using Pkg; ps=Pkg.PackageSpec(name="Documenter", version="0.19"); Pkg.add(ps); Pkg.pin(ps)'
   - julia -e 'cd(Pkg.dir("IntervalArithmetic")); include(joinpath("docs", "make.jl"))'
   - julia -e 'cd(Pkg.dir("IntervalArithmetic")); Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder()); Codecov.submit(process_folder())'