bashrc: make less use colors and case-insensitive searches