This changes makes DiskIndex.cacheDocumentNames() synchronized, so that
concurrent calls to it don't result in NPEs when DiskIndex.streamBuffer
is accessed. The other methods that access (read & write) streamBuffer
are already synchronized.

Fixes: #483
Signed-off-by: Simeon Andreev <simeon.danailov.andreev@gmail.com>