The Javascript development environment