Tool: Detect duplicated partition IDs

Add logic in existing manifest tools to detect duplicated partition IDs.

Signed-off-by: Xinyu Zhang <xinyu.zhang@arm.com>
Change-Id: Id2e19af1f37f42f26bb7442307f582f263d032d5
1 file changed