Mostly customization of my bash prompt