support multiple warnings file

while the code supports multiple warning records per instruction,
we only allow one of each type:
- having both a buffer overflow and tainted reference is ok
- having 2 buffer overflow warning records is not ok (we skip the duplicates)



Former-commit-id: d7c4ac7a0d57714d15ec77ab823a1d80e3a8f050