Clean .bashrc (after 17 years). Add (and ignore) license.