Removing cert file from zsh, fixing unzip alias for work
Adding some extensions to ghci