Development environment installation

Install the development environment only when it’s necessary. There
were CI tests that waster an average of 5 mins per run on its
installation when it wasn’t required.