modified bash prompt; bash now stores and reloads history after each command