This patch renames oil-shell to oil, at the request of upstream authors.