Changelog for idris-0.1.5

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

New in 0.1.5

New in 0.1.4