Update MPIR to 2.7.0.alpha4
Remove unnecessary fix for MPIR.
Merge remote-tracking branch 'trac/develop' into ticket/15015
Correct MPIR spkg-install scripts for non-exisiting patches.
Merge remote-tracking branch 'origin/develop' into ticket/15015
Cosmetic changes
Merge remote-tracking branch 'trac/u/jdemeyer/ticket/15015' into ffisom
Make sure characteristic and degree are Sage integers.