Firefox addon with button that opens Tab Mix Plus Options dialog