API for Isabelle Jenkins continuous integration services;

configure Admin as component, with its own lib/Tools;