ConfErr: A tool for assessing resilience to human configuration errors | Synapse