My vote is #1, with a readme for how to do #2. That lets the indivudial end-user go get the library if they need it, instead of you having to ship it. Think that avoids the legal problem >