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