atomspace: more assorted cleanup
atomspace: misc cleanup
oops missed a spot.
atomspace: more assorted cleanup.
Merge pull request #373 from linas/master

miscellaneous atomspace cleanups