[backend] Do not log ping messages.
[frontend] Suppress logging for ping messages.
[frontend] Adjust program kill shortcut.
Merge pull request #125 from kpalway/master

Account for Extended Marmoset projects
Merge pull request #119 from e45lee/key-rebind

[frontend] Adjust program kill shortcut.
Merge pull request #118 from e45lee/logging-fix

[frontend] Suppress logging for ping messages.
Merge pull request #117 from e45lee/master

[backend] Do not log ping messages.
Merge git://github.com/cs136/seashell