[Issue 590] Added a --nobanner flag to supress the banner 

A small fix for [Issue 590](https://github.com/idris-lang/Idris-dev/issues/590), which provides a `--nobanner` flag to the Idris runtime, surpressing the banner at the REPL.