tools: Rename build_pygments_data.py -> build_pygments_data.

Dropping the file extension (.py) conforms to our naming
convention for such scripts.

docs/dependencies.md

@@ -268,7 +268,7 @@ implementation of that tool.
 ### Pygments data
 
 The list of languages supported by our markdown syntax highlighting
-comes from the [pygments][] package.  `tools/setup/build_pygments_data.py` is
+comes from the [pygments][] package.  `tools/setup/build_pygments_data` is
 responsible for generating `static/generated/pygments_data.js` so that
 our JavaScript markdown processor has access to the supported list.
 

docs/dev-setup-non-vagrant.md

@@ -323,7 +323,7 @@ sudo mkdir /srv/zulip-emoji-cache
 sudo chown -R `whoami`:`whoami` /srv/zulip-emoji-cache
 ./tools/setup/emoji/build_emoji
 ./tools/inline-email-css
-./tools/setup/build_pygments_data.py
+./tools/setup/build_pygments_data
 ./tools/setup/generate_zulip_bots_static_files
 ./scripts/setup/generate_secrets.py --development
 if [ $(uname) = "OpenBSD" ]; then

tools/lib/provision.py

@@ -280,7 +280,7 @@ def main(options):
     # copy over static files from the zulip_bots package
     run(["tools/setup/generate_zulip_bots_static_files"])
 
-    run(["tools/setup/build_pygments_data.py"])
+    run(["tools/setup/build_pygments_data"])
     run(["scripts/setup/generate_secrets.py", "--development"])
     run(["tools/update-authors-json", "--use-fixture"])
     run(["tools/inline-email-css"])

tools/update-prod-static

@@ -50,7 +50,7 @@ subprocess.check_call(['./tools/setup/generate_zulip_bots_static_files'],
                       stdout=fp, stderr=fp)
 
 # Build pygment data
-subprocess.check_call(['./tools/setup/build_pygments_data.py'],
+subprocess.check_call(['./tools/setup/build_pygments_data'],
                       stdout=fp, stderr=fp)
 
 # Compile Handlebars templates and minify JavaScript.