added a small switchprompt function to switch PS1 between a long and a very short version