Customise sorin prompt & bind CTRL-R to history search