install libgmp3-dev in travis to test with bigint