update debian/control priority to "optional"