This will let us switch the URLs the pastebin returns to HTTPS some day...
This is not enforced on the server yet, but this way we can do so after a few releases (and break crash reports for older releases).