Firefox 17 to make add-ons more secure