minor style fix
change to the function HDIofICDF from the book
add example to reproduce table 13.2 from the book
accidentally deleted yesterday