Add license text to the distribution

It is mentioned in the README and in the pdf documentation.

Fixes #8