Changelog for idris-0.1.7

If this renders badly as markdown, see the plain text version

New in 0.1.6

New in 0.1.5

New in 0.1.4