add license. We're GPL now!