setup.py: Change format of the version number (illegal in rpm and buggy in deb packages).