Handle locally-installed-OSes the same way that online-OSes are handled
i.e. unique only by name, and only add if newer. Fixes #106
Also includes a fix to not show duplicate OS entries if the version
on the SD card is newer than the version available online.