Various tools used by TrendMiner/hu (Facebook data download, Java NooJ import/export format conversion)