adding profiling.destination in config to enable outputting the profiling results to a file
adding stdout and stderr options to the output of profiling
and => or in documentation for profiling output destination
a little better documentation for profiling output destination
changed handling empty strings as stderr, users will just get an error message if they don't give a proper file name
removed trailing spaces
Merge pull request #2168 from aalmah/ticket_2125

fixing #2125: redirecting profiling output to a file