updates to xilinx path
adding a new pretty logging alias
Merge branch 'xilinx_dev' of https://github.com/jwin/dotfiles into xilinx_dev