Delete bash_profile

Not needed for me anymore.