Always use mirrors for pip. Some other docs updates