Switch CI from bors to merge queue
This is the source for the Clippy Book. See the book for more information.