Add a license file (that I guess I never had here?)