Builds the docker image that runs on spot-sandbox.lrde.epita.fr.
Online application for rewriting LTL formula or translating them into automata.
