bashrc: Allow to load a local configuration of bash from ~/.bashrc_local.