Integrated development environment to implement applications online (cf. next section for its usage)