run_piety etc: change prompt in pysht consoles from piety> to pysh>>