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

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

Provide feedback