Add examples/lamutex/spec.da
Add examples/lamutex/spec.da

* examples/lamutex/spec.da: Originally uninc.dpy, this file got
  deleted by mistake in 625f2940e3f8bbe60ae9dffdb6cdc44ba5195b6f,
  now recovered.

sghosh1991/distalgo,sghosh1991/distalgo,mayli/DistAlgo,mayli/DistAlgo