desktop-installer: Update to 0.7.3.12

Properly handle recommended ports with no binary package
More rational default response for updating system before setup
Properly report deleted ports
Other minor clean up

Reported by: Mark Linimon, Guangyuan Yang