Fixing Makefile
Fixing path for copyright file
Merge pull request #1 from CosyVerif/master

Merge last changes