Add release news
Bump version
Rebuild Texinfo manual
Merge branch 'release-0.20'

* release-0.20:
  Rebuild Texinfo manual
  Bump version
  Add release news