Also optimize json's library

Uses system provided libgmp if found, if not it falls back to mini-gmp.