smtLib-1.1: CHANGES

1.1:    Add declare-const
1.0:    First release.