Here’s one way to improve programmers’ productivity that doesn’t involve Red Bull