[travis] fix hdf5 dev package name