DOC: update make.py script
@TomAugspurger I updated the docs yesterday with this.

Not sure if it is needed to keep the possibility to pass a user (if you specify this in `.ssh/config` you don't need this, but the current code allows you to not have the user specified there) 
But I could also simplify and just remove the whole user thing.

(depending on that will also update the other one, upload_stable_pdf)