add http proxy; use robbyrussell zsh theme