Updated for the new utility ./util/dump-headers

  We now clean this binary when running :

    cd ./util && make clean

  We also ignore the generated binary from git.