Lively Kernel: JavaScript web programming environment </>