Added IRMAcard-0.8-alpha0 binary and certificates