replaced logging_directory() with log_file(), and log() now uses flock to write to the log file, so multiple processes can now log to the same file
replaced logging_directory() with log_file(), and log() now uses flock to write to the log file, so multiple processes can now log to the same file

wtsi-hgi/vr-pipe,wtsi-hgi/vr-pipe