Tab manager troch Ale

This is a very simple add-on, currently allowing very basic operations:

• Copying all the open tabs to the clipboard (URL, or URL + title)
• Saving all the open tabs to a text file (one URL per line, or titles and URLs on two lines)
• Reopening tabs either from a pasted list of URLs, or from a text file

Starting from version 0.21, the format of the export (both for files and clipboard) can be controlled from the preferences. Further features will be added in future.