Changelog of @hackage/smtLib 1.1

1.1: Add declare-const 1.0: First release.