add GPLv3 headers