Update dependencies from Gerrit core stable-3.4

Only update dependencies found in Core's WORKSPACE file [1] and skip ones
from tools/nongoogle.bzl [2].

Also updates javax.servlet-api dependency to 3.1 for compatibility with
the Jetty version bump.

[1] https://gerrit.googlesource.com/gerrit/+/refs/heads/stable-3.4/WORKSPACE
[2] https://gerrit.googlesource.com/gerrit/+/refs/heads/stable-3.4/tools/nongoogle.bzl

Change-Id: Ic2aa2577b39cc37e3b5d5f0364a37f67d1f137dd

lib/BUILD

diff --git a/lib/BUILD b/lib/BUILD
index 828ff38..a6f026f 100644
--- a/lib/BUILD
+++ b/lib/BUILD
@@ -18,7 +18,7 @@
     "html-types",
     "jsr305",
     "servlet-api_2_5",
-    "servlet-api_3_0",
+    "servlet-api_3_1",
     "gson",
     "guava",
     "guava-failureaccess",