more on simple isabelle version and reordered the build files - should maybe move generic build to top level