Android instructions for installing and using EZproxy bookmarklet