An operating system for Dan200's Computer Craft