jenkins: add checkbinaryfiles.sh