Add a dirty trick to not start the documentation server when Travis is r...

...unning