more robust: logic image might be absent in PIDE session;

standardized towards new-style formal comments: isabelle update_comments;

HOL-Analysis: move Product_Vector and Inner_Product from Library

--HG--
rename : src/HOL/Library/Inner_Product.thy => src/HOL/Analysis/Inner_Product.thy
rename : src/HOL/Library/Product_Vector.thy => src/HOL/Analysis/Product_Vector.thy

isabelle update_cartouches -c -t;

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

isabelle.Build uses ML_Process directly;
isabelle_process is for batch mode only;
removed unused feeder (already part of "isabelle console");

separate session HOL-Mirabelle-ex -- cannot run isolated shell scripts within build tool;