Add copyright to all lua files and COPYING (GPLv3) license.