Minotor: add GPL header to *.cpp *.h