Release 0.9.3

• File .drom_ignore can be used to list files to be skipped (updated by --promote-skip)
• Use :version in dune files
• Small fixes in the project to correctly run Github CI/CD