An easy socket-based terminal logger for PHP