Change server-adress in bookmarklet.js