Update README to add bad workaround for Yices with static GMP on 64-bit Linux