Remove unused option package-extras from CI configuration