Remove uses of dart:io Options

The Options class is being removed.  Replacing a use of it with main(List<String> args).