update README.md to reflect changes in Isabelle2013
adapt rebuild-logic to use the build system of Isabelle2013
purge outdated tests and dead code
progress towards Isabelle2013 support

drop rebuild flag
drop non-functional timeout flag
drop log file parsing/reporting
checks use new Isabelle build tool