Misc fixes - #381

Misc fixes#381

skirpichev merged 8 commits into

diofant:masterdiofant/python-gmp:masterfrom

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