added forgotten COPYING file (as usual)