Bump protobuf definitions.

There is a new proto-lens with some new methods on its typeclasses.
This is what results from running `script/protoc`.

Author: Patrick Thomson

semantic-proto/BUILD.bazel

@@ -14,12 +14,13 @@ load(
 haskell_library(
     name = "semantic-proto",
     srcs = glob(["src/**/*.hs"]),
+    compiler_flags = ["-XOverloadedStrings"],
     deps = [
         "//:base",
         "//:text",
-        "@stackage//:proto-lens-jsonpb",
         "@stackage//:aeson",
         "@stackage//:proto-lens",
+        "@stackage//:proto-lens-jsonpb",
         "@stackage//:proto-lens-runtime",
     ],
 )

semantic-proto/semantic-proto.cabal

@@ -32,6 +32,7 @@ library
     , proto-lens-runtime  >= 0.5 && <0.8
   hs-source-dirs:      src
   default-language:    Haskell2010
+  default-extensions:  OverloadedStrings
   ghc-options:
     -Weverything
     -Wno-missing-local-signatures
@@ -41,6 +42,7 @@ library
     -Wno-unsafe
     -Wno-name-shadowing
     -Wno-monomorphism-restriction
+    -Wno-missing-export-lists
     -Wno-missed-specialisations
     -Wno-all-missed-specialisations
     -Wno-star-is-type