describe errata for MPFR. close #3204
fix #3153
Complete Pkg.Resolve modularity + fixes

fixes:
1) fix check_repository (also add julia_version argument)
2) fix pkgs/vers/deps gathering and filtering
Merge remote-tracking branch 'upstream/master'