Rotation velocities of hot horizontal branch stars in the globular clusters NGC 1904, NGC 2808, NGC 6093, and NGC 7078: The database