Added SPDL file for modeling LEAP protocol
Fixes to get leap.spdl to compile in Scyther.
Added secrecy claims and better modeling for LEAP protocol.