[soil] Set up ci.oilshell.org