Imported debug patch for push demo.

This enabled debug logging for push and allows unsafe ws://
connections.

It also sets the default push server to  ws://localhost:8082
since I've been running it locally.