Remove duplicate includes of <gmpxx.h>

It must be included in dict.h in order to use mpz_class in STL containers. The
dict.h is then included in basic.h, so the <gmpxx.h> doesn't need to be
included in any other header fil.