Bumped Brics version to 1.11.8

Motivation behind the bump is the following Gerrit targeted
Brics patch, which was included in the 1.11.8 release:
https://github.com/GLundh/dk.brics.automaton/commit/75175c3

This Brics version fixes a performance issue in some larger
Gerrit systems.

Change-Id: I53637988fbe1769d2d18860b7ebe70f70781786c
diff --git a/pom.xml b/pom.xml
index a984a83..6a04b28 100644
--- a/pom.xml
+++ b/pom.xml
@@ -790,7 +790,7 @@
       <dependency>
         <groupId>dk.brics.automaton</groupId>
         <artifactId>automaton</artifactId>
-        <version>1.11.2</version>
+        <version>1.11.8</version>
       </dependency>
 
       <dependency>