Add firefox extension, and mirror arte-downloader.js for Opera