Release notes for aktrs version 1.2.

This release is not compatible with previous versions of the library due to some changes of semantics and API.
Change summary: