added getter and seter implementation for coreProfile option

common/GlobalOptions.cc

@@ -377,6 +377,16 @@ bool stereo( ) {
   return stereo_;
 }
 
+/// Store opengl core profile setting
+void coreProfile( bool _enableCoreProfile ) {
+  coreProfile_ = _enableCoreProfile;
+}
+
+/// get opengl core profile setting
+bool coreProfile( ) {
+  return coreProfile_;
+}
+
 /// Store opengl stereo mode setting
 void glStereo( bool _glStereo ) {
   glStereo_ = _glStereo;