Added version number to documentation side bar.

It is good if users can see which version of the software the documentation refers to.