a little tool to save, in a file, urls and titles of all the open firefox tabs