Update add_jquery_and_dat.user.js

make it work with ports different than 80
Merge pull request #1 from CircleCode/master

update add_jquery_and_dat.user.js so that it works with custom ports