Tech entrepreneurs are struggling with depression in secret. Here's how some in the industry want to change that.