Some tools for Capture the flag competitions