Automatically use sphinx theme for docs if possible.
Fixed auto version detection for documentation conf.py configuration.
Merge branch 'master' of https://github.com/m0r13/mapcrafter.git