More polishing for the published version:
- add a licence header to all source files
- improve the README file