Documented how to "push to pypi"