add GPLv3 license header to source files and LICENSE.txt