ObjectiveC migrator: add support to migrate to
NS_OPTIONS.