Initial files

These are the files that Luca sent me to put into the repository. Review
and editing of code await