automatic configuration for petsc and openmpi
make resource target check whole subtree
Merge branch 'master' of github.com:otherlab/core