books/bookvolbib add special functions / exponential integral

The bibliography now has special sections devoted to topics which
have been expanded in literate form.

This adds the special functions subsection and a subsubsection
on the numeric exponential integral implementation in Axiom.