Added withSocketsDo.
Better printout in xl benchmark.
Better handling of temporary directory and more withSocketsDo.
Merge cabal file.