Merge pull request #979 from dart-lang/add_type_annotation

add a type annotation to defineOptions()