Xboard: declare "Use hash-file" option to allow disabling hash-file.