test kodo_is_symbol_decoded in the encode_decode_on_the_fly example
fixing coding style
Fix bug calling the symbol_pivot function instead of the is_symbol_decoded function
Update news