Changelog for lean-peano-0.1.0.1

Changelog for lean-peano

Unreleased changes