Use a FILE* in BinaryRegistryCache instead of an file descriptor...
...so buffered I/O can be used when writing the binary cache. This boosts performance at startup, particularly on network filesystems where writes may be quite slow.
Fixes #545 (closed).
Edited by Richard B. Kreckel