Use an enum for command line options.

There are too many options now for using hard-coded integers.