Add a way to load our own bookmarklet on tools.php

This will let us have the JS expanded and readable internally, but at
the same point concatenate it into a bookmarklet for usage.

JS was based off of @stephdau's code in https://gist.github.com/stephdau/c488a187bd83e7125a64