cURL's cookie jar file editing tool