Loading Example YAML Files is Broken

[syoon2]

Caused by: yaml/pyyaml#576

---

cryptosmt/cryptosmt.py

Line 116 in c46d288

doc = yaml.load(input_file)

Due to the "breaking" change introduced in PyYAML 6.0, the use of --inputfile argument now throws TypeError due to the missing Loader argument. It seems like one of the following has to happen to make it work again: (1) update CryptoSMT code to be compliant with PyYAML 6.0, or (2) cap PyYAML version to < 6.0 then update Dockerfile and README accordingly.