Check for tabs instead of spaces in the doc build

This adds a tool that checks style (currently just for tabs instead of
spaces in files under include/tests/docs) and produces a travis-ci build
failure if any problems are found.
diff --git a/.travis.yml b/.travis.yml
index 4dd3d8e..23e856c 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -38,9 +38,11 @@
   # Documentation build:
   - os: linux
     language: docs
-    env: DOCS
+    env: DOCS STYLE
     install: pip install sphinx sphinx_rtd_theme
-    script: make -C docs html SPHINX_OPTIONS=-W
+    script:
+    - make -C docs html SPHINX_OPTIONS=-W
+    - tools/check-style.sh
 cache:
   directories:
   - $HOME/.cache/pip