Use download_separate_headers.

This allows to explictly configure when separate header packages need to be downloaded.

Signed-off-by: Michael Hofmann mhofmann@redhat.com