add a formal LICENSE