Added name as argument of WindowGL constructor. Recoded WindowGLLinux.