TSADmetrics: A library for evaluating time series anomaly detection methods | Synapse