iOS device model recognition.

This pull request substitute the iOS model detection code that currently only returns "iPhone" or "iPad" with code derived from the OS X port that returns the precise model number (as in "iPhonex,y", "iPadx,y", etc.).