You've heard a lot about Proton and all the different versions, but how do you actually change the version of Proton used for games? Here's all you need to know.