Universal Property of the Abelianization of a Lie Algebra