ZSH: add GNAT binaries to $PATH
Merge branch 'master' of github.com:padde/dotfiles