crucible-syntax-0.4.1: A syntax for reading and writing Crucible control-flow graphs