ThugOpts minor changes
Keep track of the command-line options used during analysis in the JSON log (issue #78)