remove prop
gmp plist fix
bump shared lib and fix license
gmp 5.1.3
all in
fixup some properties.
rmd
5.1.1
when using cpu optimizations, also set the os via build. Reported on IRC
Add gmp port as a replacement for libgmp4