override: downgrade priority of all libraries to optional

[Luca Falavigna]

Dear -boot and -cd teams,

could you please comment on the request of demoting library priorities
from required and important to optional?

Thanks,
Luca