update to latest bash profile (from settings repo)

Signed-off-by: Jeremy C. Andrus <jeremya@cs.columbia.edu>