build scripts:  update gmp to version 5.1.3

Change-Id: Id874f43ffbed02b5d5dba565d05e40ae5085fe5a
Signed-off-by: Paul Beeler <sparksco@gmail.com>