Density Functional Theory and Freezing of an Ion-Electron Plasma