Added libgmp-dev to apt install list

Required for the <gmpxx.h> include