prefer plain "isabelle" from PATH within Isabelle settings environment;

added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository;