Checklist for a new release: - update ChangeLog - cd bindings; make - update API version in keystone.h - update API version in CMakeLists.txt - change version + dev status in bindings/python/setup.py - push all local commits - tag + push -- tags -> check for new Pypi package