Add separate LICENSE file (so GitHub knows).