Changelog for idris-0.1.7.1

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