Statistics of the work distribution for a quenched Fermi gas