Fix old entrypoints
    
    clang-analyzer and frama-c entrypoints were still reflecting old
    kiskadee bahavior, where a directory would be passed to the container.
    Now, we assume we are inside the /src directory which contains one
    single directory with the project source code.