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