Remove more obsolete code

Removed some obsolete code for z3 interaction and path indexing. Path indexing was good work, however, we eventually decided to go a different route. Therefore, the code related to path indexing has not been maintained for a while and is probably broken.

@dwightguth please review