Latest commit 5532b29 @rpetrich Add GPL license (was formerly in the github project header, this make…
…s it more explicit)