Puedes con cabeceras forzar la descarga aunque sea de un archivo txt:
Código PHP:
header ("Content-Disposition: attachment; filename=".$file.";" );
header ("Content-Type: application/force-download");
// lees el archivo
exit;
Y para mayor informacion te comento que no existe un input para guardar el archivo, y si lo que quieres es pasar el archivo a rar, tendras que bajar alguna extension o habilitar la extension que te permite comprimir en ZIP.
Saludos.