Changelog for scyther-proof-0.8.0.0

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