New parameter to configure the book output name.

When publishing a book, the result is a file or a directory called book (plus the file extension). Added a new parameter ‘publishing.book.output’ to change the default value (as described on issue #125).