“Vagueness in the law means that people are afraid to ship GPL’d software with their commercial software.”