glr2.cc: put semantic_option into an unnamed namespace