try to locate coq installation inside of eclipse, if pref is empty
Merge pull request #9 from hannesm/locate-coq-in-eclipse-install

try to locate coq installation inside of eclipse, if pref is empty