Add headers to the copied Primitives.{fst,v} files

[sonmarcho]

We need to add a header "THIS FILE WAS AUTOMATICALLY GENERATED BY AENEAS" to the copied files

[Nadrieril]

Notes: this is where we copy the files; this is where we generate headers.