Docker image of Fedora 20 + KLEE + AFL + Radamsa + other fuzzing tools