Made tstc push output to a file instead of printing it out to console. Added output filename specification in config.
Added output file specification. Renamed "config" into "examples".