greasemonkey: add script for redmine styling