install-semgrep: Upgrade semgrep to 0.9.0.

Signed-off-by: Anders Kaseorg <anders@zulip.com>

tools/semgrep.yml

@@ -25,7 +25,8 @@ rules:
     languages: [python]
     severity: ERROR
     paths:
-      - directory: "zerver/views/"
+      include:
+        - zerver/views/
 
   - id: dont-import-models-in-migrations
     patterns:
@@ -42,13 +43,15 @@ rules:
     languages: [python]
     severity: ERROR
     paths:
-      - directory: "**/migrations"
-      - path-not: 'zerver/migrations/0032_verify_all_medium_avatar_images.py'
-      - path-not: 'zerver/migrations/0104_fix_unreads.py'
-      - path-not: 'zerver/migrations/0206_stream_rendered_description.py'
-      - path-not: 'zerver/migrations/0209_user_profile_no_empty_password.py'
-      - path-not: 'zerver/migrations/0260_missed_message_addresses_from_redis_to_db.py'
-      - path-not: 'pgroonga/migrations/0002_html_escape_subject.py'
+      include:
+        - "**/migrations"
+      exclude:
+        - zerver/migrations/0032_verify_all_medium_avatar_images.py
+        - zerver/migrations/0104_fix_unreads.py
+        - zerver/migrations/0206_stream_rendered_description.py
+        - zerver/migrations/0209_user_profile_no_empty_password.py
+        - zerver/migrations/0260_missed_message_addresses_from_redis_to_db.py
+        - pgroonga/migrations/0002_html_escape_subject.py
 
   - id: logging-format
     languages: [python]

tools/setup/install-semgrep

@@ -1,9 +1,9 @@
 #!/usr/bin/env bash
 set -e
 
-version=0.5.0-dev.4
+version=0.9.0
 tarball=semgrep-v$version-ubuntu-16.04.tgz
-sha256=0696104dd08f507e6f7de0f7dadc50b532e75bd082729243e1220a87d27c5a2d
+sha256=aae50f8dd494af24bb59cfceaf0780767fd0b8df2fc669b8812b6061fa06baca
 tarball_url=https://github.com/returntocorp/semgrep/releases/download/v$version/$tarball
 
 check_version () {

version.py

@@ -44,4 +44,4 @@ API_FEATURE_LEVEL = 8
 #   historical commits sharing the same major version, in which case a
 #   minor version bump suffices.
 
-PROVISION_VERSION = '84.1'
+PROVISION_VERSION = '84.2'