Fix random.js for IE11
Merge pull request #207 from openpgpjs/ie11

Fix random.js for IE11