why3-0.8: CHANGELOG.md

0.8
---
* Initial public release