copyright header in .header; authors in opam file
style