Greasemonkey script to change the github merge button to be a bit more exciting