Business Insider: Code collaboration startup Sourcegraph has raised $28 million and plans to double its headcount during the pandemic. Here’s why companies like Amazon and Tinder love its developer tools