Docker image for S2E http://s2e.epfl.ch/