Pequeños cambios estéticos en el código.
Cottijo un bug que hacía que no se borraran los directorios temporales.
Añado la función `make_temp_dir'.