Changed (again) technique to get version IDs shown in docs from source code.
Hopefully it will fix the problem with the documentation building server
that caused a wrong Django version to be reported in the HTML zipball
docs edition.
Follow-up to commits 373df56 and 0b98ef6.