Remove old versions of gmp.

Change-Id: I1d147eae794b0a19316bd782f5efb7c8a23da863
diff --git a/gmp-4.2.2.tar.bz2 b/gmp-4.2.2.tar.bz2
deleted file mode 100644
index 57837e7..0000000
--- a/gmp-4.2.2.tar.bz2
+++ /dev/null
Binary files differ
diff --git a/gmp-4.2.4.tar.bz2 b/gmp-4.2.4.tar.bz2
deleted file mode 100644
index 74ae5bc..0000000
--- a/gmp-4.2.4.tar.bz2
+++ /dev/null
Binary files differ
diff --git a/gmp-4.3.2.tar.bz2 b/gmp-4.3.2.tar.bz2
deleted file mode 100644
index 5892471..0000000
--- a/gmp-4.3.2.tar.bz2
+++ /dev/null
Binary files differ