Changelog for simple-smt-0.5.2

0.5.1: Add 'define' commands 0.5: Adds more bit-wise operations 0.4: Fixes definiiton of `geq`