Put the license text up in COPYING