Pretty console output in PHP