firefox addon which allows the user to toggle javascript