ObjectiveC migrator: Add individual options and
enable them for distinct feature migration.
// rdar://15003157