Merge changes I6eb07d50,I15cc1568,I70b7132f

* changes:
  def-tool: Do not emit errors on public.libraries.txt
  def-tool: Support product and product_services partition
  def-tool: Remove a dead argument (cont)