Don't store tmpDir in Settings

There was no point in doing this as indicated by the TODO.

Very simple TODO fix -- namely moving tmpDir field from FileSettings to DynFlags -- so I don't think it deserves a ticket.