Only consider dirs for POLY_HOME if they contain a poly executable
Merge branch 'integration' into scala-frontend