Begin PLN backward chainer example
Add detailed logging to detect segfault in PLN BC
Update string formatting
Merge branch 'master' of https://github.com/opencog/opencog into pln-bc