Add an entry fo the ghci command :run to the user guide