Update documentation from v2.2 release version to v2.3-dev (agda#2557)

* Fixes agda#2556

* missing full stop

* updated `doc/README`

* archive `v2.2` to `CHANGELOG` subdirectory

* `fix-whitespace`

Author: jamesmckinna