tiny PHP class for logging