Added incremental update tracking in Blackboard. Currently only used for seeing if a full cycle has gone without any new information.
Merge branch 'master' of https://github.com/avigad/polya