VLC Media Player 1.0.0 is finally out