Added descriptions to Options parser for the 'help' flag.

Give more information over the Idris project in the `--help` flag. This should also help address Issue #1232.