Debug and consequently disable hwloc support
* On Ubuntu 13.10, I get a crash in hwloc_topology_load even though the
  API seems to be used correctly
* Disable default build with hwloc since it seems impossible to
  guarantee a working solution
* Clean up obsolete options found on the way