update caffe2 for switch to official github mirror of eigen

Sven Verdoolaege · Sven Verdoolaege · commit 932cdf769cb1 · 2018-05-23T10:04:04.000+02:00
The original (unofficial?) mirror has been removed.
diff --git a/third-party/caffe2 b/third-party/caffe2
@@ -1 +1 @@
-Subproject commit 8a1565a3b347476ce0f8d26806adf841c6295091
+Subproject commit d25ad1f1281c17afa5d4d9a9210bebb52e899ff5
