Log the device type when a new iOS device is seen.

This looks the model code up with npm/ios-devices, and gives the
marketing name, falling back to the model code. It says the device is
unknown if it does not give a model code.