Inserted a newline which seamed to be missing.

Idris reported the help descriptions of '--eval' and '--exec' on the same line.
This file change simply reinserts a newline to fix the display issue.
Add removal of :info to CHANGELOG
Merge pull request #1159 from paulkoerbitz/fix/1047-repl-doc-for-typeclasses

Add removal of :info to CHANGELOG
Merge pull request #1157 from PhilipRasmussen/patch-1

Inserted a newline in which seemed to be missing in the usage message.
Fix record projections for fields which are params

Fixes #943
Merge branch 'master' of github.com:idris-lang/Idris-dev
Generate better record update functions

Specifically, make sure that the type respects any updates in
parameters, and leave parameter positions implicit so that the
elaborator can infer them (which is much easier than doing the hard work
in the setter itself...)
Rename record002 test to the correct name!

Oops