Add license to specification

This fixes #19.