switch to binstar over https in docs