gmplib: Update README files after vendor branch merge