webol files are now split into their own repo. Duplicate the old
history, but remove many of the now-irrelevant files.