Remove some dead code from atomspace