Initial performance instrumentation done, ready to merge
Initial performance instrumentation done, ready to merge

Removed extra delete port in bookmark.json. It's not used right now.

mpi-sws-rse/datablox,mpi-sws-rse/datablox