About the tools, see the wiki.

To install a *.user.js file, access the RAW option here in Github.