rfc2231 compatible encoding for header()

This is only used in the filename header field and ensures correct
interpretation of an encoded filename. This is will be needed
especially for download of files with umlauts with an Internet Explorer.