Updated Bookmarklet.js

Way of fetching User's ID is changed since No JSON Object 'Env' was available