Additive Number Theory of Polynomials over a Finite Field