Debian files for OpenMC