How to easily use bookmarklets in Google Chrome for iOS