Update the Google closure library to rev 2519, 2/7/2013.