Bug fixes: now using GLUT_DOUBLE. Now signals other threads when glutMainLoop() exits for clean shutdown.