Final is reserved now, rename stuff

Renamed the 'final' field in the inflater to 'finished', so that the code
compiles with the latest rustc.