add flush(HDF5File)
speedup names()
allow to mmap individual entries
Grow array in names() if necessary
Merge pull request #74 from rened/master

add flush(HDF5File) / speedup names() / allow to mmap individual entries