Added --protocol flag to concrete2json.py for TJSONProtocol serialization