dot_vimrc: improved commenting.
debian_wheezy_user_bash_rc: improved commenting, added back the uncolorized PS1.