Finish up the ARM MPC as far as I could get before abandoning

Turns out this is a bit of a dead end due to the solver employed.  I'll
have to revisit it in the future.

Change-Id: Ib75a053395afa6f31dee3ba6c20a236c7c0b433f
diff --git a/WORKSPACE b/WORKSPACE
index 725df52..5bd89d2 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -250,3 +250,10 @@
     strip_prefix = "gcc-arm-none-eabi-7-2018-q2-update/",
     url = "http://frc971.org/Build-Dependencies/gcc-arm-none-eabi-7-2018-q2-update-linux.tar.bz2",
 )
+
+new_http_archive(
+    name = "cgal_repo",
+    sha256 = "d564dda558570344b4caa66c5bae2cdae9ef68e07829d64f5651b25f2c6a0e9e",
+    url = "http://frc971.org/Build-Dependencies/cgal-dev-4.5-2.tar.gz",
+    build_file = 'debian/cgal.BUILD',
+)