Tech workers were stunned by Trump's victory. Now they're helping Democratic campaigns. (Washington Post)