modified:   default/main.py
	modified:   default/main.py
	modified:   default/main.py
Merge pull request #138 from ericolito/master

Removed hotkeys from mainmenu and added /x style prompt instead
fix ssh polling, bring in unrelated stuff ...
Push this into production for testing

failing to reproduce pipe descriptor leak locally
	modified:   default/common.py
	modified:   common.py
	modified:   x84/default/main.py
	modified:   x84/default/tetris.py
Merge pull request #143 from ericolito/master

Syncterm fix for display_banner and a cp437 switch for the tetris script