Add a version drop-down to the web version of the docs

We sometimes generate versions of documentation for specific purposes (e.g., the documentation for the current tip of MongoDB 3.2). It would be better for the generated documentation to reflect what the documentation is for, rather than the next expected version of standalone WiredTiger.