This is how to var_dump to a file with php