Made final modifications to APKES description in order to better deal with authentication.
Merge branch 'master' of https://github.com/superdude264/Contiki_CoreSec_Verification

Also added final modifications to APKES SPDL file to deal with authentication.

Conflicts:
	apkes.spdl