log files with headers (thanks https://stackoverflow.com/questions/34359166/java-logging-using-gethead-with-append)