Added warning code for old documentation versions

So instead of this code being conditionally compiled in based on a setting known when the docs are compiled (`if theme_oldversion == true`), it could be conditionally included at runtime based on some javascript running in the client browser.