repl: remove deprecated NODE_REPL_HISTORY_FILE

PR-URL: https://github.com/nodejs/node/pull/13876


Reviewed-By: Matteo Collina <matteo.collina@gmail.com>
Reviewed-By: Michaël Zasso <targos@protonmail.com>
Reviewed-By: Gibson Fahnestock <gibfahn@gmail.com>
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>