Hackfest 2013 War Game and CTF challenges, tools, sources, etc.