Show Documentation Version

[gabryelreyes]

Results can be seen here:

• A version is shown under the name of the documentation
• Links have a marker on the end

Closes #10

[nhjschulz]

Could we use something more clever than a hardcoded string ?
It is a pain to manual update or forget it sometimes.

How about output of "git describe HEAD" ?
It gives the nearest label + distance like

$ git describe HEAD
v1.0.2-2-g7362281

Called from CI with a labled branch should then give the label string as version.

To embedd this in conf.py do

import subprocess
version= subprocess.check_output([ 'git', 'describe', 'HEAD' ])

[Karle3]

discussed..