Add pfad_ch25 module (for Chapter 25: Integer arithmetic coding)