[tools] gmp: update to 5.1.3

Signed-off-by: Luka Perkov <luka@openwrt.org>

git-svn-id: svn://svn.openwrt.org/openwrt/trunk@38487 3c298f89-4303-0410-b956-a3cf2f4a3e73