Include warning if version of documentation is not x.y.z - fixes 560

Fixes #560.

This strategy may need a slight tweak as part of #561, depending how we keep the version in `conf.py` stable on release branches.
There is already a global `DOCUMENTATION_OPTIONS` dictionary rendered by sphinx earlier in the page. It contains the full VERSION, so perhaps you could use that instead of printing it again here.