Add download headers for manual dump

When doing a manual dump for later import, the download defaults to 'admin-ajax.php' as the filename. By adding the correct headers, we can give the download a meaningful name.

The GET parameter is used to distinguish between a regular pull (which is used for by the actual sync) and a manual pull for the dump.