- fix exception in GLWidget.closeEvent
- explicitly request OpenGL version to improve chances of getting a 3.0 context
- request OpenGL 3.2 core profile (disallow deprecated features) to avoid
  running into backward incompatibilities later on