added ":refine", ":ref", "refine!" and "ref!" to the autocompletions in the REPL
Merge pull request #1773 from JakobBruenker/master

Added ":refine" to the autocompletions in the REPL