Add a dirty trick to not start the documentation server when Travis is running
Merge pull request #74 from samoht/master

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