Update ghci prompt