Moving some code from main.ml to tools.ml; some comments added about Doclist-type.
new parser: "OSR-shownotes-2-csv"  =>  Extract OSR Shownotes, and write them to csv-file

Does also print the stuff to screen, before saving it to csv-file.
Html-decode command now also works on Match_result's.