Add API to retrieve number of pages

Once the paper is compiled, one can access the number of pages that was
produced in the compiled version.

closes #18
Rename `File` utilities

This class has become much more general purpose than it used to be.
Rename the utility class to make it much clearer when used.