use titan indexing to establish faunus-ID <-> Titan-ID mapping for vertices

There is only one thing left still (and I'm not sure how to do that) we need to call deleteKeyIndex(...) when we know that export is complete but there is no close nor cleanup method in OutputFormat...