Add new -o flag to command line, starexec configs.

Add new starexec configurations apptrack and paranoid (the latter
sets assertions on and enables model-check-mode and
interpolant-check-mode).

Add a new flag -o to command line interface to set an arbitrary option.