Change the internal name of the application.

Now TavernaPlayerPortal.
Update and consolidate the READMEs.

Get rid of the unused README.rdoc.