Fix random.js for IE11

@toberndo this fixes https://github.com/openpgpjs/openpgpjs/issues/203

If it's ok, we can include it in the v0.5.1 release.