Density-Functional Theory of Strongly Correlated Fermi Gases in Elongated Harmonic Traps