doc/bitstream_filters: remove mp3_header_decompress filter
It was removed in commit c6080d89009056530119ab794ad02e4d515c7754.