Firefox add-on that allows to customize shortcuts