Add the version string to the sidebar in the HTML docs (#95)

Add the version string to the sidebar in the HTML docs (#95) #240