SERVER-13856 remove unnecessary usage of repl:: from the repl directory
Merge remote-tracking branch 'upstream/master'