Function write_goal 

pub fn write_goal(agent_did: u64, goal_hash: u64, ts: u64) -> [NQuin; 2]

Write cog:Goal for (agent_did, goal_hash) pair to AGENT_CONTEXT.