Full build of Isabelle and the AFP, without slow sessions.