Merge branch 'gcc48-fix'
sync CHANGES
fix dangling symlink, as otherwise opam pin fails
Fix output console flushing

Closes #70
Merge branch 'master' of github.com:mirage/mirage-platform
Fix regression in `Io_page.string_blit` with non-zero src offset

Fixes #71
[io_page] fix my lame fix for f71f34cc29a6c2018c9824a11d2bb360de1ae0f4

Also mark a TODO to make this more efficient later on.

Really fixes #71
release 0.9.8
Merge branch 'master' of github.com:mirage/mirage-platform
Merge branch 'master' of github.com:mirage/mirage-platform

Conflicts:
	CHANGES
Merge pull request #72 from avsm/master

sync CHANGES