new dump file
add more test and debug stuff
Fixed a crash by cleaning up all the remains of Bindlink in Atomspace properly
Added time cost statistic.
Limit the number variables to less than half of the nodes in a pattern.
Merge pull request #845 from shujingke/PM

Fixed crash and limit the number of variables in a pattern.