Add real, GNU command-line options.
Add real, GNU command-line options.

Allow specifying header, output file, and max-secs per experiment.

dbueno/funsat,rbonifacio/funsat,rbonifacio/funsat,dbueno/funsat,rbonifacio/funsat,rbonifacio/funsat