tools: set execute bit for mumble-version.py.