[ release notes ] Added information about renaming of modules
[ releases ] Minor changes

* Push all the changes and the new tag simultaneously.
* Update Agda wiki after removing release-specific information.
Preparation for the release of version 0.8.1
Removed release-specific information