Renamed S2E control command.
Bootstrapping S2E in a Docker container.