version number in sphinx docs