Added optional positional argument for JSON output file.

If no output filename is given, concrete2json.py will dump the JSON to
stdout.