Portal 2: Community Edition - 0.7.1 released to playtest_beta and default branches.

Changes:

• Fixed keypress HUD not hiding in Panorama

• Updated shaders