In case of no command-line parameter, output usage-description.
Using anonymous namespace.
Output of "tawSolver" resp. "tawSolver64" in appropriate messages.
Provided version and change-date.
Update of documentation, and improve handling of solver-name.

Now prefix "64" only added in the context of the OKlibrary.
Updates.