Debian package files for AOflagger