Added '*~' to .gitignore.
Merge branch 'patch-2' of github.com:kornl/PropCIs