PHP library to dump variables in a readable format