progress towards Isabelle2013 support

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