Update versions to the one released on the pypi.
Use a new mr.developer with a more user-friendly syntax.
No longer rely on infrae.com/download to download packages.