Find a sustainable way of handling CPU feature detection

As @ansgar mentioned in https://lists.dune-project.org/pipermail/dune-devel/2019-June/002456.html, the current way of detecting the CPU instruction set does not really work, as it just uses the CPU name. !46 (merged) is a quick workaround, but we need a proper fix.