bump gmp 5.1.0 -> 5.1.1
doc/stdlib: add OS_NAME (closes #2218)