Inserted a newline in which seemed to be missing in the usage message.

Idris reported the help descriptions of '--eval' and '--exec' on the same line, when executing 'idris --help'
This file change simply reinserts a newline to fix the display issue.