more uniform jEdit properties;

updated to infer_instantiate;

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