Use INSTANCE_NAME for bookmarlet name.

Currently, bookmarklet is created as "+Casimir". I think that it would be more useful to use INSTANCE_NAME.