Change extension to .user.js to trigger installation prompt

GreaseMonkey automatically offers to install a loaded page when its filename ends in “.user.js”. Renaming the user script file with that extension allows the script to easily be installed by visiting the Raw view of the file on GitHub.