Updated to newer software selection

Updated GMP to 5.1.3
Updated MPC to 1.0.2
Updated MPFR to 3.1.2
Updated Kernel headers to 3.12.14 (longterm)