identify closer to main cronjob -- avoid diverging changeset versions;

plain identify job for Isabelle + AFP, independent of any Isabelle technology;