Update bashrc

New bashrc, mostly the Debian default one but with a few modifications (my .profile is still the distro provided one)