A JavaScript-based interactive shell for UNIX