The Lively Web runtime and development environment