Misc fixes - #375

Misc fixes#375

skirpichev merged 6 commits into

diofant:masterdiofant/python-gmp:masterfrom

skirpichev:miscskirpichev/python-gmp:miscCopy head branch name to clipboard