A command line editor which can be embedded in web applications