SHAVA: An open-source Python framework for interpretable intrusion detection in VANETs | Synapse