change the title and author to what we agreed on at the meeting

eventually the cover material will be a separate file, and it
will have to include the spine and back cover in one image, for
printing
change the title and author to what we agreed on at the meeting

eventually the cover material will be a separate file, and it
will have to include the spine and back cover in one image, for
printing
Merge branch 'master' of github.com:HoTT/book