Litmus test names

[Alan Stern]

Paul:

I just saw that two of the files in tools/memory-model/litmus-tests have 
almost identical names:

	Z6.0+pooncelock+pooncelock+pombonce.litmus
	Z6.0+pooncelock+poonceLock+pombonce.litmus

They differ only by a lower-case 'l' vs. a capital 'L'.  It's not at all 
easy to see, and won't play well in case-insensitive filesystems.

Should one of them be renamed?

Alan