Update documentation of LogStream::push().
Update documentation of LogStream::push().

naliboff/dealii,sairajat/dealii,sairajat/dealii,naliboff/dealii,naliboff/dealii,sairajat/dealii,sairajat/dealii,naliboff/dealii,sairajat/dealii,naliboff/dealii,naliboff/dealii,sairajat/dealii,naliboff/dealii,sairajat/dealii