misc changes to SOS by Philipp Meyer:
CSDP_EXE as central setting;
separate component src/HOL/Library/Sum_Of_Squares;
misc tuning and rearrangement of neos_csdp_client;
more robust treatment of shell paths;
debugging depends on local flag;
removed unused parts;

#main object logics

src/Pure

src/FOL

src/HOL

src/ZF

src/CCL

src/CTT

src/Cube

src/FOLP

src/HOLCF

src/LCF

src/Sequents

#misc components

src/HOL/Tools/ATP_Manager

src/HOL/Library/Sum_Of_Squares