.bashrc: remove nocaseglob as it is non-standard on most Linuxes