Change version to 1.2 only; refine Prolog.searchExe() method to search for swipl using ASPIDE environment