Add new stand-alone script for verifying certificates.
PEP8.
Merge branch 'master' into development
Handle axioms problems