Parenthasize infix names in REPL output
Proper and complete parenthasization of infix operator names.
Merge branch 'master' into parenthasizeInfix

Conflicts:
	src/Idris/REPL.hs
Merge pull request #1323 from bmsherman/parenthasizeInfix

Parenthasize infix names in REPL output