Converts a sequence of command-line options into properties.
All options that start with one of the reserved Ice prefixes (--Ice, --IceSSL, etc.) are converted into properties.