update README.md to reflect changes in Isabelle2013
adapt rebuild-logic to use the build system of Isabelle2013