Steam adds Proton, making Windows games playable on Linux (at least in theory)