SERVER-13638: add copyright notice