users_guide: Update reference to :stepover

This is now :steplocal and :stepmodule
users_guide: Expand documentation on GHCi :step and friends
users_guide: Fix formatting of :trace documentation
users_guide/ghci: Whitespace cleanup