stylelint: Add stylelint package.

package.json

@@ -68,6 +68,7 @@
     "nwmatcher": "1.3.6",
     "nyc": "11.8.0",
     "phantomjs-prebuilt": "2.1.16",
+    "stylelint": "9.3.0",
     "svgo": "1.0.5",
     "swagger-parser": "3.4.1",
     "tslint": "5.10.0",

version.py

@@ -8,4 +8,4 @@ ZULIP_VERSION = "1.8.1+git"
 # Typically, adding a dependency only requires a minor version bump, and
 # removing a dependency requires a major version bump.
 
-PROVISION_VERSION = '24.1'
+PROVISION_VERSION = '24.2'