add a "-trace" command line option