Greasemonkey script to add a button adding the « code » tag to redmine forms.