Add license information

As discussed in #7.