Add proper COPYING and INSTALL file