Objective-C migrator. Simplify migrator option
processing in preparation for adding several more
options. // rdar://15003157