Do not copy INSTALL or COPYING during doc build INSTALL does not exist when we build the package, leading to build failure, and the extra copies of COPYING result in extra-license-file lintian warnings. Neither file is actually referenced in the documentation.