minor changes to information.py
Merge branch 'develop' of github.com:zacernst/prover9nudge into develop