Simple performance logger for PHP