Added separate ESPL logic building

Otherwise, the time for checking the first example is off.
Final polishing of docs before release
update to Isabelle 608afd26a476
drop obsolete theory
update readme to Isabelle2013-2
update Isabelle version information
update URLs