Improve detection of X13 binary

— On GNU/Linux, the locally installed binary now has priority over the
  system-wide binary
— Do not require 32-bit binary if we are on a 64-bit system and the 64-bit
  binary is there (or vice versa)
— Code factorization in the detection logic
parent 82f10685
Pipeline #1995 passed with stage
in 1 minute and 6 seconds