log LICENSE

age author description
2008-10-24 Adam Chlipala Add 'package' make target; add LICENSE