title: json.dumps(): escaping forward slashes
body: <p>Since forward slashes can only occur in strings inside a JSON serialized object and are not escaped (in the default settings), using </p>
  
  <pre><code>json.dump(some_dict).replace('/', r'\/')
  </code></pre>
  
  <p>reliably works, but it looks hacky.</p>
  
  <p>I know that forward slashes <strong>don't have to be</strong> escaped, but you <strong>may</strong> escape them, and for my usecase I'd like to have them escaped.</p>
  
  <p>Is there a way to to let the JSONEncoder escape forward slashes without manually escaping them?</p>