Eliminate doubly supplied system packages

Turn the system package list into a set, so that duplicate entries
supplied by the user are eliminated. This does probably not matter to
the framework, as I believe double entries will have no adverse
effects. But it is best not to send nonsensical data to the framework
as a matter of robustness.