Change p13.cpp to use GMP
GMP is arbitrary precision arithmetic library for big numbers