Dragon: A distributed graph query engine (code.facebook.com)