tools

Useful tools and configuration

• opengrok - code search engine
• grpcui - Web UI for interacting with grpc server