Update prompt and add a . file for ghci to reset prompt