Long-overdue updates.
* Remove irrelevant files (e.g., log files)
* Remove deprecated "CP" language.
* Updated README.
* Remove obsolete Boogie client & server.