Merge pull request #390 from linas/master

signals should be delivered with locks unlocked.
Refactor so backchaining can handle all the special cases (maybe)
Merge pull request #391 from linas/master

grab lock during destruction
Test backward chainer
PLN Rule names are less ambiguous
Merge pull request #392 from jadeoneill/master

Fix backward chainer
Add diagram of a time interval