Fixes a bug when same obstacle appears multiple time in an anti-goal diagram
Changes color of antigoals
Adds malicious type to agents
Updates model browser