runtest: ignore Emacs lock files (.#XXX) #3615

Job	Run time
Fetch EasyCrypt External Projects Matrix	3s
EasyCrypt compilation (nix)	43s
EasyCrypt compilation (opam)	1m 15s
Check EasyCrypt Libraries (unit)	1m 18s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	2m 7s
Check EasyCrypt Libraries (stdlib)	5m 8s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 12s
Check EasyCrypt Libraries (examples)	3m 8s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 21s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 46s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 52s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 54s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 26s
Check EasyCrypt External Projects (set-status)	1s
Notification	3s
	1h 6m 17s

Provide feedback