Factor `addSyntax` out of `syntaxDecl` parser
:let at the REPL now supports syntax extensions!
Merge branch 'master' of https://github.com/idris-lang/Idris-dev into repl-definitions
Merge pull request #1621 from trillioneyes/repl-definitions

Repl definitions