adding version number for greasemonkey