Remove glutLeaveMainLoop() call which is only implemented in FreeGLUT / OpenGLUT

glutLeaveMainLoop() is not part of the GLUT spec. We can safely use
exit() here instead.
Merge branch 'grabcut-fix' into fixes