adding eclipse project files, including dependency on soot project