[ Cyril Brulebois ] * Update debian/copyright from upstream COPYING. * Get rid of HAL-specific files since we're only buiding on Linux architectures; those files weren't installed anyway. * Switch from --list-missing to --fail-missing for additional safety.