disable hwloc by default
Merge branch 'edu' of https://github.com/deepsea-inria/pasl into edu
Merge branch 'edu' of https://github.com/deepsea-inria/pasl into edu