Don't build docs on every push

[KurtJacobson]

Currently the docs are built whether or not they need to be, and in the case of tagged commits are built twice. It would be best to check if any of the doc source files have changed, and only build in that case.

Should be easy to check for changes in the docs using: git diff --name-only docs