Fixed incorrect file names
New default handling of header formats

* Now uses `header_default` or `header_book` depending on the file name
  (it ends with `.book.ly`) if the format is not set explicitly.
* Renamed several music file to reflect this.