Cookie converter

Converter to convert JSON cookies as exported by the Chrome plugin "Edit this Cookie" to wget compatible cookies.txt.