bindings-yices-0.3.0.2: changelog.md

	## 0.3 -- 22th August 2015
	* Extend the API with missing for add, sub and mul binary operators.