Add :main docs to ghci commands page