optimize file export

[mario-fink]

printing channel data into files via print_channel() takes a suspiciously long time: maybe potential for improving performance by e.g. manual buffering, precision manipulation, fixed point,....