Adapt name of firefox extension build target and file to actual name
Merge pull request #523 from kossebau/adaptFilenameOfFFExtension

Adapt name of firefox extension build target and file to actual name