added some vagrant boxes to the deplyment
removed miniconda from the installation
fixed a problem related to deplyment on redhat boxes
fixed a problem related to changing the shell since it was already zsh
added a few aliases and changed/removed some existing ones
changed defualt pretzto theme
fixed another shell related issue
fized several issues with zshrc, including changing the defualt python interpreter, re-adding virtualenvwrapper, etc
modified .gitignore