Add kibit, benchmarks, and more