User extensions augmentation

This edits the firefox extension so that the scripts can simply be concatenated together, along with the config.js file, to create the user-extensions.js file for Selenium RC.

This addresses issue #10 and makes pull request #13 obsolete.