Fixed the setup script; added .inputrc and .bash_profile; changed to public domain (whatever)