updated example.js for openpgp.js testing