change the prompt style

some time you do not want to use the fancy style

#utop_prompt_dummy;;

#utop_promot_simple;;