Hola,
Para especificar el nombre del fichero:
Código PHP:
header("Content-Disposition: attachment; filename=\"fichero.ext\"");
Y por cierto, 'txt' no es un tipo MIME valido. Si tienes instalado en local el Apache, tiene un fichero en Apache/conf llamado mime.types con algunos de los tipos MIME correspondientes a algunas extensiones.
Suerte.