add preferences setting to pause game on popup (off by default). Fixes #41.