removing tinkerpop repos

Not needed anymore