mport-manager 0.23

A new mport-manager, graphical package manager release, 0.23 is now available in mports and on github.