Merge.

removed Ids;

tuned headers -- adapted to usual conventions;

moved IsaPlanner from Provers to Tools;