Web integrated development environment