Set the ghci prompt globally.