SERVER-9237 log a warning message if 'rest' option is overridden by 'nohttpinterface'