Progress towards #181
more progress towards #181; the problem now is that there is
not really anyway to build a query atom from python
add MatchingAtomIterator to C++