Better tools help, but they're not why your best developers stay or leave. Here's what actually moves the needle on productivity and satisfaction.