* .tcshrc: change prompt theme