added a little script to push out ssh keys more efficient
added port option