Update Google Web Toolkit to version 2.5.1

Updates version and SHA.