#104 fixed CSVDestination synchronization issue
#105 extended CSVDestination features
Merge branch 'devel' into feature/#102-statistics-reporter
Merged CSVDestination changes.
#102: updated javadoc of StatsReporter