First attempt at authentication for "HELLOACK" and "ACK" packets.
Merge branch 'master' of https://github.com/superdude264/Contiki_CoreSec_Verification

Conflicts:
	apkes.spdl