[external CI]: Update xmss-acai/xmss-fsai & add xmss-common-spec,xmss-spec,xmssmt-spec and xmss-spec-extra#725

ruipedro16 wants to merge 1 commit intoEasyCrypt:mainEasyCrypt/easycrypt:mainfrom

ruipedro16:external-ci-xmssruipedro16/easycrypt:external-ci-xmssCopy head branch name to clipboard